我的意思是，是否有一种语言或者可以设计一种语言，以便所有高级编程语言都可以编译成这种中间语言？
这不包括机器语言。
【问题讨论】：
Turing-complete 的每一种通用语言都是通用编程语言。
如果一种语言（或机器）的任何程序可以编译成另一种的程序，则认为两种语言（或机器）是图灵等效的。如果一种语言与图灵机是图灵等价的，那么它就是图灵完备的。
有一些早期的努力来形式化计算的概念；图灵机是一个，λ演算是另一个，通用递归函数类是第三个。 Alonzo Church 和 Alan Turing 证明了所有这三种形式化都是图灵等价的。图灵机的任何程序都可以编译为 lambda 演算，反之亦然，任何通用递归函数都可以由 lambda 演算或图灵机实现，反之亦然。
Church-Turing thesis 假设任何可以在任何形式系统中表达的计算都可以转换为可以在图灵机上运行的程序；或者等价地，可以在无类型的 lambda 演算中表示，或者是一般递归，基于上述等价性。
这只是一个假设，无法正式证明，因为没有办法正式表征受其影响的计算类别（没有循环推理，将它们定义为可以由图灵执行的计算类别机器），但从来没有任何提议的计算模型不能用图灵机计算。
因为您可以用几乎任何通用语言编写图灵机模拟器（或 lambda 演算的实现），同样这些语言可以编译为在图灵机上运行的程序，所以几乎所有通用语言都是图灵完备。
但是，有些语言不是图灵完备的；正则表达式就是一个例子。它们可以被图灵机模拟，但不能反过来模拟图灵机。
请注意，这些都不涉及效率或对主机系统资源的访问；只是可以表达相同的计算，并且最终将提供相同的答案。有些语言是图灵完备的，其中存在cannot be computed at the same asymptotic efficiency as in other languages 的一些问题。有些语言提供对文件系统、I/O、网络等外部资源的访问，而其他语言只允许在内存中进行计算，但在任何图灵完备的语言中，都可以添加 API 或操作内存的方法允许它访问那些外部资源，因此无法访问系统资源不是基本限制，只是实现的限制。
作为更实际的问题，有几种语言被设计为可移植的中间语言，它们是编译的目标。 LLVM IR 是一个常用的例子，C-- 是另一个例子。此外，语言运行时的任何字节码都以这种方式运行，JVM 是许多语言的编译目标，CLR 是另一种。最后，许多语言都编译成 C，因为 C 编译器广泛可用，而且代码比机器代码更便于移植。
最近，随着 Web 的出现和 JavaScript 成为可在每个 Web 浏览器中使用的语言，JavaScript 已成为一种流行的编译目标，这两种语言都旨在编译为 JavaScript，例如 CoffeeScript和Dart，还有现有的语言，这些语言最初设计为通过Emscripten 等项目编译成机器代码。认识到这种用法，已经努力指定 JavaScript 的一个子集，具有更严格的规则，称为asm.js，它为编译提供了更好的目标，同时仍然允许相同的代码向后兼容常规 JavaScript 引擎对 asm.js 一无所知。
【讨论】：