编程语言分类

我不是女神ヾ 2022-01-20 15:45 246阅读 0赞

--------------------

### 根据运行模式区分 ###

##### 1.编译型语言（Compiled language） #####

需通过编译器（compiler）将源代码编译成机器码，之后才能执行的语言。一般需经过编译（compile）、链接（linker）这两个步骤。编译把源代码编译成机器码，链接把各个模块的机器码和依赖库串连起来生成可执行文件。理论上，任何编程语言都可以是编译式，或直译式的。它们之间的区别，仅与程序的应用有关。 优点：编译器一般会有预编译的过程对代码进行优化。因为编译只做一次，运行时不需要编译，所以编译型语言的程序执行效率高。可以脱离语言环境独立运行。 缺点：编译之后如果需要修改就需要整个模块重新编译。编译的时候根据对应的运行环境生成机器码，不同的操作系统之间移植就会有问题，需要根据运行的操作系统环境编译不同的可执行文件。 代表语言：C、C++、Pascal、Objective-C、Swift。

##### 2.解释型语言（Interpreted language） #####

利用解释器，在运行期，动态将代码逐句解释（interpret）为机器代码，或是运行预先编译为机器代码的的子程序，之后再运行。 优点：有良好的平台兼容性，在任何环境中都可以运行，前提是安装了解释器（虚拟机）。灵活，修改代码的时候直接修改就可以，可以快速部署，不用停机维护。 缺点：每次运行的时候都要解释一遍，性能上不如编译型语言。 代表语言：JavaScript、Python、Erlang、PHP、Perl、Ruby。

##### 3.动态编译语言（即时编译器） #####

动态编译语言一句一句编译源代码，同时将翻译过的代码缓存起来以降低性能损耗。相对于普通的静态编译型语言，动态编译语言的代码可以处理延迟绑定并增强安全性。即时编译器有两种类型，一是字节码翻译，二是动态编译翻译。微软的.NET Framework，还有绝大多数的Java实现，都依赖即时编译器以提供高速的代码执行。 JAVA将源代码编译生成字节码（.class 文件），再通过JVM（java 虚拟机）运行生成机器指令，由机器运行机器码（解释型）。JVM有一种JIT（Just in time）机制，能够将部分已经解释翻译的常用机器指令保存。下次不需要解释，直接运行即可（编译型）。 C\#在编译的时候不是直接编译成机器码而是中间代码（Microsoft Intermediate Language），然后通过语言运行库（.NET Framework虚拟机）执行。在程序执行时，.Net Framework将中间代码翻译成为二进制机器码，从而使它得到正确的运行。最终的二进制代码被存储在一个缓冲区（Buffer）中。所以一旦程序使用了相同的代码，那么将会调用缓冲区中的版本。这样如果一个.Net程序第二次被运行，那么这种翻译不需要进行第二次，速度明显加快。 代表语言：Java，C\#。

--------------------

### 根据运行时代码状态区分 ###

##### 1.动态语言（Dynamic Programming Language） #####

是在运行时可以改变其结构的语言，例如新的函数、对象、甚至代码可以被引进，已有的函数可以被删除或是其他结构上的变化。 代表语言：Objective-C、JavaScript、PHP、Python、Erlang、Ruby、C\#（4.0+）。

##### 2.静态语言 #####

与动态语言相对应的，还有一些运行时结构不可变的语言。 代表语言：Java、C、C++、Scala。

##### 注意： #####

类型检查可发生在编译时期（静态检查）或运行时期（动态检查）。 动态语言不完全是解释型语言，C\#、Objective-C是动态语言，同时是编译型语言，即时编译语言。 动态语言不完全是动态类型类型语言（TypeScript）。 静态语言完全是静态类型语言。

--------------------

### 根据数据（变量）类型检查时机区分 ###

##### 1.动态类型语言（Dynamically Typed Language ） #####

运行时才去做数据类型检查和数据类型绑定的语言。 动态类型语言在运行时，经由运行路径、变量被赋予的值，通过推断类型机制（鸭子类型，Duck typing），调度变量获得不同的类型标记。 代表语言：Swift、PHP、Python、Ruby、Erlang、JavaScript、Perl。

##### 2.静态类型语言（Statically Typed Language） #####

运行前（如编译阶段）做数据类型检查的语言。 编写代码的时候要明确变量的数据类型，一个静态类型的编程语言，是在运行时期和编译时期之间的处理阶段下重视这些区别的（crash在编译和运行之间）。 但是，大多数的静态类型语言都有强制类型转换的语言后门（宣告类型（强制转换））可用。 代表语言：C、C++、C\#、Java、Objective-C。

##### 3.依存类型语言 #####

如果一个编程语言破坏了阶段的区别，因而类型检查需要测试运行时期的表达式的等价性，该语言即为依存类型的。 代表语言：Idris。

##### 注意： #####

动态类型语言是一类关注、捕捉运行时类型错误的语言。 解释型语言不都是动态类型语言，Swift是编译型语言但是它也是动态类型语言。 编译型语言不都是静态类型语言，C\#和Java是解释型语言也是静态类型语言。

--------------------

### 根据数据类型严格程度区分 ###

##### 1.强类型语言： #####

强类型语言禁止错误类型的变量继续参与运行。 一旦一个变量被指定了某个数据类型，如果不经过显式转换类型（宣告类型（强制转换）），那么它就永远是这个数据类型。你不能把一个整形变量当成一个字符串来处理。 代表语言：Java、C\#、Python、Objective-C、Ruby。

##### 2.弱类型语言： #####

弱类型意指一个语言可以隐式转换类型（或直接宣告类型（强制转换））。 一个变量可以赋不同数据类型的值，若给整型变量A赋一个字符串值，那么A就变成字符类型。 代表语言：JavaScript、PHP、C、C++（C和C++有争议，但是确实可以给一个字符变量赋整形值，可能初衷是强类型，形态上接近弱类型）。 注意：一个语言是不是强类型语言和是不是动态类型语言也没有必然联系。

转载于:https://juejin.im/post/5cc2b2686fb9a0320a628c57