这是一个dump(实际上很难搜索的话题):

闲聊 C

这也是PyPy和Rubinius的想法:

(我想这也适用于Forth，但我对Forth一无所知。)

是的，你可以用一种语言编写编译器。不，你不需要第一个编译器来引导该语言。

您需要引导的是该语言的实现。它可以是编译器，也可以是解释器。

历史上，语言通常被认为是解释语言或编译语言。解释器只为前者编写，编译器只为后者编写。所以通常，如果要为一种语言编写编译器，第一个编译器会用其他语言编写以引导它，然后，可选地，编译器会为主题语言重新编写。但是用另一种语言编写解释器也是一种选择。

这不仅仅是理论上的。我自己也在做这件事。我正在为自己开发的语言Salmon编写编译器。我首先用C创建了一个Salmon编译器，现在我正在用Salmon编写编译器，所以我可以让Salmon编译器工作，而不需要用任何其他语言为Salmon编写编译器。

你不能自己编写编译器，因为你没有任何东西来编译你的初始源代码。有两种方法可以解决这个问题。

最不受欢迎的是下面这些。你用汇编器(恶心)为语言的最小集合写一个最小的编译器，然后用那个编译器来实现语言的额外功能。逐步构建，直到拥有一个具有所有语言特性的编译器。这是一个痛苦的过程，通常只有在你别无选择的时候才会做。

首选的方法是使用交叉编译器。您可以在不同的机器上更改现有编译器的后端，以创建在目标机器上运行的输出。然后你就有了一个完美的完整编译器，并在目标机器上运行。这方面最流行的是C语言，因为现有的很多编译器都有可插拔的后端，可以进行交换。

一个鲜为人知的事实是，GNU c++编译器有一个只使用C子集的实现。原因是，通常很容易为新的目标机器找到一个C编译器，然后允许您从它构建完整的GNU c++编译器。现在，您已经在目标计算机上安装了c++编译器。

实际上，大多数编译器都是用它们所编译的语言编写的，原因如上所述。

第一个引导编译器通常是用C、c++或Assembly编写的。

一般来说，你需要先让编译器工作(如果是原始的)，然后你才能开始考虑让它自托管。在某些语言中，这实际上被认为是一个重要的里程碑。

从我对“mono”的印象来看，他们很可能需要给反射添加一些东西来让它工作:mono团队一直指出，有些东西根本不可能用reflection . emit;当然，微软团队可能会证明他们错了。

这有一些真正的优点:对于初学者来说，这是一个相当好的单元测试!你只需要担心一种语言(也就是说，c#专家可能不太懂c++;但是现在你可以修复c#编译器)。但我想知道，这里是否存在某种职业自豪感:他们只是希望它能够自我托管。

不完全是编译器，但我最近一直在研究一个自托管系统;代码生成器用于生成代码生成器…所以如果模式改变了，我简单地运行它本身:新版本。如果有错误，我就返回到早期版本并重试。非常方便，也很容易维护。

更新1

我刚刚看了Anders在PDC的视频，(大约一个小时后)他给出了一些更合理的理由——都是关于编译器即服务的。只是为了记录。

也许你可以用BNF来描述BNF。