强类型与弱类型，静态类型和动态类型

首先强弱是相对的。 强类型： 每个变量和对象都必须声明类型，在编译时确定好类型了，执行时不能更改。偏向于不容忍隐式类型转换。譬如说haskell的int就不能变成double。 弱类型： 编译时不确定类型，执行时根据语义确定是哪种类型。通俗地说，弱类型偏向于容忍隐式转换，把不同类型的变量放在一起运算。 静态类型： 编译的时候就知道每一个变量的类型，因为类型错误而不能做的事情是语法错误。 动态类型：

>>阅读原文<<