编程语言分类

编程语言通常有各种不同的分类角度：
①按检查时机可分为动态类型和静态类型；
②按是否显式的进行类型转换可分为强类型和弱类型。

动态类型

动态类型语言中，变量没有类型，只有数据有类型，变量可以持有任意类型的数据，是在运行时进行检查。

静态类型

静态类型语言中，变量具有类型，而且在编译期确定，具有某一类型的变量只能持有相同类型的数据。

强类型

语言层面限制实参类型必须与形参类型相同，不允许任意的隐式类型转换，语法阶段就会校验类型去报错。强制类型定义的语言，即一旦某一个变量被定义类型，如果不经强制转换，那么它永远就是该数据类型。

弱类型

弱类型定义的语言，某一个变量被定义类型，该变量可以根据环境变化自动。