计算机高级语言按 程序的执行方式 可分为：编译型和解释型。

由上图可知，计算机只能识别某些特定的二进制指令，在程序真正运行之前必须将高级语言的源代码转换成二进制指令。

编译器的类型：前端编译器、后端编译器。 1.编译器的分析阶段也称为前端，它将程序划分为基本的组成部分，检查代码的语法、语义和语法，然后生成中间代码。分析阶段包括词法分析、语义分析和语法分析。 2.编译器的合成阶段也称为后端，优化中间代码，生成目标代码。合成阶段包括代码优化器和代码生成器。

解释型语言的跨平台，指的是源代码跨平台，而不是解释器跨平台。   解释器是一个将源代码转换成机器码的可执行程序，可执行程序是不能跨平台的。 因此官方需要针对不同平台开发不同的解释器，这些解释器必须要能够遵守同样的语法，识别同样的函数，完成同样的功能。   因为有了解释器这个中间层，解释器帮助我们屏蔽了不同平台之间的差异。在不同的平台下，不同的解释器会将相同的源代码转换成不同的机器码，所以才让同样的代码在不同平台的执行结果相同。

既然解释型语言依靠不同平台的解释器就可以实现跨平台，如果在不同平台上装对应的编译器，不也可以实现跨平台吗？

编译型语言不能跨平台表现在两个方面：

1) 可执行程序不能跨平台

编译器将编译型语言编译生成可执行程序，这个可执行程序不能跨平台。因为不同操作系统对可执行程序的内部结构有着截然不同的要求，彼此之间也不能兼容。 比如，不能将 Windows 下的可执行程序拿到 Linux 下使用，也不能将 Linux 下的可执行程序拿到 Mac OS 下使用（虽然它们都是类 Unix 系统）。   另外，相同操作系统的不同版本之间也不一定兼容。 比如不能将 x64 程序（Windows 64 位程序）拿到 x86 平台（Windows 32 位平台）下运行。但是反之一般可行，因为 64 位 Windows 对 32 位程序作了很好的兼容性处理。

2) 源代码不能跨平台

不同平台支持的函数、类型、变量等都可能不同，基于某个平台编写的源代码一般不能拿到另一个平台下编译。以C语言为例，

编译型语言虽然是高级语言，却与平台联系比较紧密（操作系统都是用编译型语言编写的），针对不同平台（操作系统）可能有其特定的编写规则。因此编译型语言不能像解释型语言一样，实现源代码跨平台。

编译型语言经过编译后，就运行效率而言，编译型语言 > 解释型语言，因为解释性语言每次运行都需要解释器来进行逐行解释。但是编译型程序的编译加执行的时间可能比解释性语言解释执行的时间多。

编程语言分类

编程语言按照不同的分类标准可以分为以下几类：

既然编译型语言需要将所有源代码一次性转换成可执行程序，解释型语言是逐行解释每一句源代码，是否意味着编译型语言就是静态语言，代码结构无法改变；而解释型语言因为是逐行运行可以随意改变未运行源代码的代码结构呢？   反例：Object-C 是编译型语言，但是他是动态语言。得益于特有的 run time 机制（准确说 run time 不是语法特性是运行时环境，这里不展开）OC 代码是可以在运行的时候插入、替换方法的。

既然静态类型语言在使用变量之前必须声明数据类型，而强类型语言一旦一个变量被指定了某个数据类型，如果不经过强制转换，那么数据类型永远不变。是否意味着静态类型语言=强类型语言？再有，动态类型语言的变量在使用之前无需申明类型，通常变量的值是被赋值的那个值的类型，而弱类型语言的一个变量可以赋不同数据类型的值。是否意味着动态类型语言=弱类型语言？   一个语言是不是强类型语言和是不是动态类型语言也没有必然联系。 如下图，Python 是动态类型语言，是强类型语言。JavaScript 是动态类型语言，是弱类型语言。Java 是静态类型语言，是强类型语言。

参考： 编译型语言和解释型语言的区别 解释器( interpreter ) 与 编译器( compiler ) 的对比 编译器和解释器各有什么特点与区别 漫谈计算机语言 编译型语言、解释型语言、静态类型语言、动态类型语言概念与区别 解释型语言可以跨平台而编译型语言不行 动态语言和静态语言的区别（如python与c++)