简短的(不精确的)定义:

编译语言:将整个程序立即转换为机器代码，然后由CPU运行机器代码。

解释语言:逐行读取程序，一旦读取一行，CPU就会执行该行的机器指令。

但实际上，现在很少有语言是纯编译或纯解释的，它们通常是混合的。想要更详细的图片描述，请看这个帖子:

编译和解释的区别是什么?

或者是我后来的博客:

https://orangejuiceliberationfront.com/the-difference-between-compiler-and-interpreter/

语言本身既不编译也不解释，只有语言的特定实现才是。Java就是一个很好的例子。有一个基于字节码的平台(JVM)、一个本机编译器(gcj)和一个用于Java超集(bsh)的互用器。那么Java现在是什么呢?字节码编译，本机编译还是解释?

其他既编译又解释的语言有Scala、Haskell或Ocaml。每种语言都有一个交互式解释器，以及一个字节码或本机机器码的编译器。

所以一般来说，用“编译型”和“解释型”来划分语言并没有多大意义。

编译语言是这样一种语言:程序一旦编译，就用目标机器的指令来表达。例如，源代码中的加法“+”操作可以直接转换为机器代码中的“ADD”指令。

解释型语言是指指令不直接由目标机器执行，而是由其他程序(通常用本机语言编写)读取和执行的语言。例如，相同的“+”操作将在运行时被解释器识别，然后调用它自己的“add(a,b)”函数，并使用适当的参数，然后执行机器代码“add”指令。

你可以在编译语言中做你在解释语言中可以做的任何事情，反之亦然——它们都是图灵完备的。然而，这两种方法在实施和使用方面都有优点和缺点。

我将完全概括(纯粹主义者原谅我!)，但大致来说，以下是编译语言的优点:

通过直接使用目标计算机的本机代码获得更快的性能 有机会在编译阶段应用相当强大的优化

下面是解释型语言的优点:

更容易实现(编写好的编译器非常困难!!) 不需要运行编译阶段:可以直接“动态”执行代码 是否可以更方便地使用动态语言

注意，字节码编译等现代技术增加了一些额外的复杂性——这里发生的情况是，编译器的目标是一个与底层硬件不同的“虚拟机”。这些虚拟机指令可以在稍后阶段再次编译，以获得本机代码(例如，由Java JVM JIT编译器完成)。

编译器和解释器做同样的工作:将一种编程语言翻译成另一种编程语言，通常更接近硬件，通常是直接可执行的机器代码。

Traditionally, "compiled" means that this translation happens all in one go, is done by a developer, and the resulting executable is distributed to users. Pure example: C++. Compilation usually takes pretty long and tries to do lots of expensive optmization so that the resulting executable runs faster. End users don't have the tools and knowledge to compile stuff themselves, and the executable often has to run on a variety of hardware, so you can't do many hardware-specific optimizations. During development, the separate compilation step means a longer feedback cycle.

Traditionally, "interpreted" means that the translation happens "on the fly", when the user wants to run the program. Pure example: vanilla PHP. A naive interpreter has to parse and translate every piece of code every time it runs, which makes it very slow. It can't do complex, costly optimizations because they'd take longer than the time saved in execution. But it can fully use the capabilities of the hardware it runs on. The lack of a separrate compilation step reduces feedback time during development.

But nowadays "compiled vs. interpreted" is not a black-or-white issue, there are shades in between. Naive, simple interpreters are pretty much extinct. Many languages use a two-step process where the high-level code is translated to a platform-independant bytecode (which is much faster to interpret). Then you have "just in time compilers" which compile code at most once per program run, sometimes cache results, and even intelligently decide to interpret code that's run rarely, and do powerful optimizations for code that runs a lot. During development, debuggers are capable of switching code inside a running program even for traditionally compiled languages.

The Python Book©2015 Imagine Publishing Ltd，简单地通过第10页中提到的以下提示来区分差异:

像Python这样的解释型语言是指将源代码转换为机器码，然后在每次程序运行时执行的语言。这与编译语言(如C)不同，后者只将源代码转换为机器代码一次——然后在程序每次运行时执行生成的机器代码。

很难给出一个实际的答案，因为差异在于语言定义本身。可以为每一种编译语言构建一个解释器，但不可能为每一种解释语言构建一个编译器。它主要是关于语言的正式定义。所以在大学里没有人喜欢理论信息学。