不同类型语言

编译型和解释型的区别

先来看看编译型语言定义：

编译型语言首先是将源代码编译生成机器指令，再由机器运行机器码(二进制)。

再来看看解释型语言的定义：

解释型语言的源代码不是直接翻译成机器指令，而是先翻译成中间代码，再由解释器对中间代码进行解释运行。

咋看一眼，还是一脸懵逼。下面打个比方：

• 编译型相当于用中英文词典（翻译器）将一本英文书一次性翻译（编译）成一本中文书。以后查看直接就是中文了。可想而知，以后读书（运行）会非常非常方便。

• 而解释型相当于用中英文词典（翻译器）将一本英文书读一段翻译一段（解释）中文。以后查看时还是需要重新翻译。这样效率会低一些，必须依赖解释器，但是跨平台性好。

动态语言和静态语言

我们常说的动态语言和静态语言，其实是指动态类型语言和静态类型语言。先来看看动态类型语言：

动态类型语言，是指数据类型的检查是在运行时做的。用动态类型语言编程时，不用给变量指定数据类型，该语言会在你第一次赋值给变量时，在内部记录数据类型。

再来看看静态类型语言的定义：

静态类型语言，是指数据类型的检查是在运行前（如编译阶段）做的。

强类型定义语言和弱类型定义语言

（1）强类型定义语言：强制数据类型定义的语言。也就是说，一旦一个变量被指定了某个数据类型，如果不经过强制转换，那么它就永远是这个数据类型了。举个例子：如果你定义了一个整型变量a,那么程序根本不可能将a当作字符串类型处理。强类型定义语言是类型安全的语言。

（2）弱类型定义语言：数据类型可以被忽略的语言。它与强类型定义语言相反, 一个变量可以赋不同数据类型的值。

强类型定义语言在速度上可能略逊色于弱类型定义语言，但是强类型定义语言带来的严谨性能够有效的避免许多错误。另外，“这门语言是不是动态语言”与“这门语言是否类型安全”之间是完全没有联系的！