计算机语言类型

动态类型语言：在运行期进行类型检查的语言，也就是在编写代码的时候可以不指定变量的数据类型，比如Python 和Ruby

静态类型语言：它的数据类型是在编译期进行检查的，也就是说变量在使用前要声明变量的数据类型，这样的好处是把类型检查放在编译期，提前检查可能出现的类型错误，典型代表C/C++ 和Java。

强类型语言：一个变量不经过强制转换，它永远是这个数据类型，不允许隐式的类型转换。举个例子：如果你定义了一个double 类型变量a，不经过强制类型转换那么程序int b = a 无法通过编译。典型代表是Java。

弱类型语言：它与强类型语言定义相反，允许编译器进行隐式的类型转换，典型代表C/C++。