强类型 弱类型 静态类型 动态类型

弱/强类型指的是语言类型系统的类型检查的严格程度。后两者指的是变量与类型的绑定方法。

 

From<https://www.zhihu.com/question/19918532>

 

静态类型指的是编译器在compiletime执行类型检查，动态类型指的是编译器（虚拟机）在runtime执行类型检查

 

From<https://www.zhihu.com/question/19918532>

 

 

 

 

 

强类型：偏向于不容忍隐式类型转换。譬如说haskell的int就不能变成double

弱类型：偏向于容忍隐式类型转换。譬如说C语言的int可以变成double

静态类型：编译的时候就知道每一个变量的类型，因为类型错误而不能做的事情是语法错误。

动态类型：编译的时候不知道每一个变量的类型，因为类型错误而不能做的事情是运行时错误。譬如说你不能对一个数字a写a[10]当数组用。

 

作者：vczh

链接：https://www.zhihu.com/question/19918532/answer/21645395

来源：知乎

著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

 

 

 

https://www.zhihu.com/question/19918532