strong type checking 在编程中怎么使用

[ericgdsz]

PC-LINT说明书中有这么一段“strong type checking is gold , normal type checking is silver, and casting is brass”,我很想加入这个强类型检查，但这样势必引入很多类型强转。类型强转特别是大类型转为小类型如int转为short也是不受欢迎的。想知道各位大侠关于这个问题有没有更系统一点的想法？

给个wiki上的链接：
http://en.wikipedia.org/wiki/Strong_type