前两者，弱/强类型指的是语言类型系统的类型检查的严格程度。后两者指的是变量与类型的绑定方法。
弱类型相对于强类型来说类型检查更不严格，比如说允许变量类型的隐式转换，允许强制类型转换等等。强类型语言一般不允许这么做。这篇wiki上有例子： Strong typing
静态类型指的是编译器在compile time执行类型检查，动态类型指的是编译器（虚拟机）在runtime执行类型检查。简单地说，在声明了一个变量之后，不能改变它的类型的语言，是静态语言； 能够随时改变它的类型的语言，是动态语言。 因为动态语言的特性，一般需要运行时虚拟机支持。
附伟大的Wiki有完全的类型系统对比表格，请参见：
Type system
弱类型相对于强类型来说类型检查更不严格，比如说允许变量类型的隐式转换，允许强制类型转换等等。强类型语言一般不允许这么做。这篇wiki上有例子： Strong typing
静态类型指的是编译器在compile time执行类型检查，动态类型指的是编译器（虚拟机）在runtime执行类型检查。简单地说，在声明了一个变量之后，不能改变它的类型的语言，是静态语言； 能够随时改变它的类型的语言，是动态语言。 因为动态语言的特性，一般需要运行时虚拟机支持。
附伟大的Wiki有完全的类型系统对比表格，请参见：
Type system
扫一扫
2149
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
