关于“编译型”“解释型”“动态语言”“静态语言”“动态类型语言”“静态类型语言”的区分以及优缺点（汇总整理）

PS.有待修改

“编译语言”和“解释语言”

各自的概念，优缺点，代表语言。（转自：hitbing）

1.概念 

“编译型”：使用专门的编译器，针对特定的平台，将高级语言源代码一次性的编译成可被该平台硬件执行的机器码，并包装成该平台所能识别的可执行性程序的格式。

"解释型“：使用专门的解释器对源程序逐行解释成特定平台的机器码并立即执行。

2.优缺点

“编译型”

1）一次性的编译成平台相关的机器语言文件，运行时脱离开发环境，运行效率高；

2）与特定平台相关，一般无法移植到其他平台；

“解释型”

1）只要平台提供相应的解释器，就可以运行源代码，所以可以方便源程序移植；

2）解释型语言每次运行都需要将源代码解释称机器码并执行，效率较低；

3.代表语言

“编译型”：C、C++、Objective等。

“解释型”：Java、JavaScript、VBScript、Perl、Python、Ruby、MATLAB

4.应用场景

“编译型”：像开发操作系统、大型应用程序、数据库系统等，要求程序执行速度快，同等条件下对系统要求较低。

“解释型”：一些网页脚本、服务器脚本及辅助开发接口这样的对速度要求不高、对不同系统平台间的兼容性有一定要求的程序则通常使用解释性语言

===============================================================================

接下来关于动态语言和静态语言相关的来自：清风飏

动态语言和静态语言

1、动态语言

是一类在运行时可以改变其结构的语言：例如新的函数、对象、甚至代码可以被引进，已有的函数可以被删除或是其他结构上的变化。通俗点说就是在运行时代码可以根据某些条件改变自身结构。

主要动态语言：Object-C、C#、JavaScript、PHP、Python、Erlang。

2、静态语言

与动态语言相对应的，运行时结构不可变的语言就是静态语言。

主要静态语言：Java、C、C++。

3、注意：

很多人认为解释型语言都是动态语言，这个观点是错的！Java是解释型语言但是不是动态语言，Java不能在运行的时候改变自己结构。反之成立吗？动态语言都是解释型语言。也是错的！Object-C是编译型语言，但是他是动态语言。得益于特有的run time机制（准确说run time不是语法特性是运行时环境，这里不展开）OC代码是可以在运行的时候插入、替换方法的。

C#也是动态语言，通过C#的反射机制可以动态的插入一段代码执行。所以我说C#是这个星球最好的编程语言

动态类型语言和静态类型语言

1、动态类型语言

很多网上资料把动态类型语言和动态语言混为一谈，简直是误人子弟。动态类型语言和动态语言是完全不同的两个概念。  动态类型语言是指在运行期间才去做数据类型检查的语言，说的是数据类型，动态语言说的是运行是改变结构，说的是代码结构。

动态类型语言的数据类型不是在编译阶段决定的，而是把类型绑定延后到了运行阶段。

主要语言：Python、Ruby、Erlang、JavaScript、swift、PHP、Perl。

2、静态类型语言

静态语言的数据类型是在编译期间确定的，即编写代码的时候要明确确定变量的数据类型。

主要语言：C、C++、C#、Java、Object-C。

3、注意：

相当一部分程序员，也包括曾经的我，认为解释型语言都是动态类型语言，编译型语言都是静态类型语言。这个也是错的。swift是编译型语言但是它也是动态类型语言。C#和Java是解释型语言也是静态类型语言。