各类语言的解释与对比

编译型语言和解释型语言

编译型语言

编译型语言先要进行编译，然后转为特定的可执行文件，这个可执行文件是针对平台的（CPU类型），可以这么理解你在PC上编译一个C源文件，需要经过预处理，编译，汇编等等过程生成一个可执行的二进制文件。当你需要再次运行改代码时，不需要重新编译代码，只需要运行该可执行的二进制文件。
特点
在编译型语言写的程序执行之前，需要一个专门的编译过程，把源代码编译成机器语言的文件，如exe格式的文件，以后要再运行时，直接使用编译结果即可，如直接运行exe文件。因为只需编译一次，以后运行时不需要编译，所以编译型语言执行效率高。

一次性的编译成平台相关的机器语言文件，运行时脱离开发环境，运行效率高；与特定平台相关，一般无法移植到其他平台；现有的C、C++、Objective等都属于编译型语言。

解释型语言

解释型语言需要一个解释器，在源代码执行的时候被解释器翻译为一个与平台无关的中间代码，解释器会把这些代码翻译为及其语言。打个比方，编译型中的编译相当于一个翻译官，它只能翻译英语，而且中文文章翻译一次就不需要重新对文章进行二次翻译了，但是如果需要叫这个翻译官翻译德语就不行了。而解释型语言中的解释器相当于一个会各种语言的机器人，而且这个机器人回一句一句的翻译你的语句。对于不同的国家，翻译成不同的语言。
特点
解释型语言不需要事先编译，其直接将源代码解释成机器码并立即执行，所以只要某一平台提供了相应的解释器即可运行该程序。
解释型语言最大的优势之一是其平台独立性 ，解释型语言也可以保证高度的安全性——这是互联网应用迫切需要的 。
中间语言代码的大小比编译型可执行代码小很多。

动态型语言与静态型语言
静态类型语言

指的是代码运行之前就做的数据类型检查，运行前数据类型就已经确定了。比如：C,C++,JAVA;这个好比对应着具有编译过程的语言

动态类型语言

指代码运行的时候数据类型才会确定，数据类型绑定是代码运行的时候确定的。比如：JavaScript，php，这个好比对应着解释器类型的语言。

强类型语言与弱类型语言

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

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