计算机语言：编译型/解释型、动态语言/静态语言、强类型语言/弱类型语言

一、编译型和解释型

编译型

编译

编译型和汇编语言是同样的：也是有一个负责翻译的程序来对源代码进行转换，生成相对应的可执行代码。 这个过程说得专业一点，就称为编译（Compile），而负责编译的程序天然就称为编译器（Compiler）。

连接

只有一个源文件的状况 若是程序代码都包含在一个源文件中，那么一般编译以后就会直接生成一个可执行文件，就能够直接运行了。

多个源文件 但对于一个比较复杂的项目，为了方便管理，一般代码分散在各个源文件中，做为不一样的模块来组织。 这时编译各个文件时就会生成目标文件（Object file）而不是前面说的可执行文件。通常一个源文件的编译都会对应一个目标文件。 这些目标文件里的内容基本上已是可执行代码了，但因为只是整个项目的一部分，因此咱们还不能直接运行。待全部的源文件的编译完成我那个，就能够最后把这些半成品的目标文件“打包”成一个可执行文件了，此过程好像是把包含可执行代码的目标文件链接装配起来，因此又称为连接（Link），而负责连接的程序叫连接程序（Linker）。 连接程序除了连接目标文件外，可能还有各类资源，像图标文件啊、声音文件啊什么的，还要负责去除目标文件之间的冗余重复代码，等等。连接完成以后就能够获得可执行文件了。

解释型

“编译”和“解释”的确都有“翻译”的意思，区别在于翻译的时机安排不大同样。 打个比方：假如你打算阅读一本外文书，而你不知道这门外语，那么你能够找一名翻译，给他足够的时间让他从头至尾把整本书翻译好，而后把书的母语版交给你阅读； 或者，你也马上让这名翻译辅助你阅读，让他一句一句给你翻译，若是你想往回看某个章节，他也得从新给你翻译。

两种方式，前者就至关于咱们刚才所说的编译型：一次把全部的代码转换成机器语言，而后写成可执行文件； 然后者就至关于咱们要说的解释型：在程序运行的前一刻，还只有源程序而没有可执行程序；而程序每执行到源程序的某一条指令，则会有一个称之为解释程序的外壳程序将源代码转换成二进制代码以供执行，总言之，就是不断地解释、执行、解释、执行……因此，解释型程序是离不开解释程序的。

像早期的BASIC就是一门经典的解释型语言，要执行BASIC程序，就得进入BASIC环境，而后才能加载程序源文件、运行。解释型程序中，因为程序老是以源代码的形式出现，所以只要有相应的解释器，移植几乎不成问题。

编译型程序虽然源代码也能够移植，但前提是必须针对不一样的系统分别进行编译，对于复杂的工程来讲，的确是一件不小的时间消耗，何况极可能一些细节的地方仍是要修改源代码。

并且，解释型程序省却了编译的步骤，修改调试也很是方便，编辑完毕以后便可当即运行，没必要像编译型程序同样每次进行小小改动都要耐心等待漫长的Compiling…Linking…这样的编译连接过程。

不过凡事有利有弊，因为解释型程序是将编译的过程放到执行过程当中，这就决定了解释型程序注定要比编译型慢上一大截，像几百倍的速度差距也是不足为奇的。

编译型与解释型，二者各有利弊

前者因为程序执行速度快，同等条件下对系统要求较低，所以像开发操做系统、大型应用程序、数据库系统等时都采用它，像C/C++、Pascal/Object Pascal（Delphi）、VB等基本均可视为编译语言 而一些网页脚本、服务器脚本及辅助开发接口这样的对速度要求不高、对不一样系统平台间的兼容性有必定要求的程序则一般使用解释性语言，如Java、JavaScript、VBScript、Perl、Python等等。

新兴的语言都有把二者折衷起来的趋势

Java语言虽然比较接近解释型语言的特征，但在执行以前已经预先进行一次预编译，生成的代码是介于机器码和Java源代码之间的中介代码，运行的时候则由JVM（Java的虚拟机平台，可视为解释器）解释执行。它既保留了源代码的高抽象、可移植的特色，又已经完成了对源代码的大部分预编译工做，因此执行起来比“纯解释型”程序要快许多。

VB6（或者之前版本）、C#这样的语言，虽然表面上看生成的是.exe可执行程序文件，但VB6编译以后实际生成的也是一种中介码，只不过编译器在前面安插了一段自动调用某个外部解释器的代码（该解释程序独立于用户编写的程序，存放于系统的某个DLL文件中，全部以VB6编译生成的可执行程序都要用到它），以解释执行实际的程序体。

C#（以及其它.net的语言编译器）则是生成.net目标代码，实际执行时则由.net解释系统（就像JVM同样，也是一个虚拟机平台）进行执行。 固然.net目标代码已经至关“低级”，比较接近机器语言了，因此仍将其视为编译语言，并且其可移植程度也没有Java号称的这么强大，Java号称是“一次编译，处处执行”，而.net则是“一次编码，处处编译”。 随着设计技术与硬件的不断发展，编译型与解释型两种方式的界限正在不断变得模糊。

二、动态语言和静态语言

  一般所说的动态语言、静态语言是指动态类型语言和静态类型语言。

(1)动态类型语言

动态类型语言是指在运行期间才去作数据类型检查的语言，也就是说，在用动态类型的语言编程时，永远也不用给任何变量指定数据类型，该语言会在你第一次赋值给变量时，在内部将数据类型记录下来。Python和Ruby就是一种典型的动态类型语言，其余的各类脚本语言如VBScript也多少属于动态类型语言。

(2)静态类型语言

静态类型语言与动态类型语言恰好相反，它的数据类型是在编译其间检查的，也就是说在写程序时要声明全部变量的数据类型，C/C++是静态类型语言的典型表明，其余的静态类型语言还有C#、JAVA等。

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

（1）强类型定义语言

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

（2）弱类型定义语言

数据类型能够被忽略的语言。它与强类型定义语言相反, 一个变量能够赋不一样数据类型的值。

强类型定义语言在速度上可能略逊色于弱类型定义语言，可是强类型定义语言带来的严谨性可以有效的避免许多错误。