编程语言的自举

Question

一. 自举过程

自举（bootstrapping）字面理解就是自己能把自己给举起来，换做编程语言来讲就是，自己编译自己，可以看看（Wiki 上面的解释）（ https://en.wikipedia.org/wiki/Bootstrapping_(compilers)）

那么语言自举过程到底是个怎么样的过程？

下面选取了来自知乎 vczh 轮子哥的解释：

• 用 C++把那个编译器（A）写出来，顺便留下很多测试用例。
• 用 V 语言把那个编译器写（B）出来，用 A.exe 来编译 B，修改直到所有测试用例都通过为止。
• B.exe 来编译 B 自己得到 B2.exe，修改直到 B2.exe 所有测试用例都通过为止。这是为了保证，就算 B 本身有很多 bug，至少编译自己是没有 bug 的，从而你就可以走到第四步。
• 当你觉得有信心了，用 A.exe 把 B 编译一遍，就得到了 B.exe。然后 A 的代码和 A.exe 都在也不需要存在了，删掉他们。以后你就不断的用 B.exe 来编译下一个版本的 B 就好了。就自举了。

自举的过程大概是这样，都需要一个最初的编译器，而最初的编译器是不会关心最优，只在乎写的是否正确，这样造成的效率也是十分低下的。

二. 自举的语言

现在自举的语言有很多比如：

三. 自举的好处

• 语言通过自我编译，自我迭代，达到本身语言的真正成熟稳定
• 对编译器后端的优化不仅会优化以后所有编译出来的其它程序的效率，也会优化编译器本身的效率
• 使开发编译器的环境和使用这门语言开发的其它程序一致
• 同时也摆脱了其它语言的依赖和自我迭代