编程语言里函数方法类型检查的重要性

importance of type checking and evaluation

静态类型检查和动态类型检查：

静态语言 vs 动态语言

强类型语言 vs 弱类型语言

显式类型转换 vs 隐式类型转换

弱类型的例子：