关于程序语言的蛋生鸡 鸡生蛋问题

今天看到酷壳上提到了程序语言的自举策略：

但是，这是一个“鸡生蛋，还是蛋生鸡”的问题，如果你需要用X语言来写一个X语言编译器的语言，你可以这样干：

• 用Y语言来实现X的语言解释器或编译器。 Niklaus Wirth 说 Pascal 的第一个编译器是由 Fortran 写的。
• 已存在用Y语言写的X语言的编译器或解释器。Scheme 就是这么干的。
• 已经有一个编译器来编译一个早期版本的X语言，然后就可以用早期版本的X语言来编译新版本的X语言了。Java，Haskell, 和最初版的 Free Pascal 就是这么干的。
• X在某平台上的编译器已经存在，可以使用交叉编译技术来编译另一个平台上X语言，C语言就是这么干的。
• 用X语言写一个编译器，然后手动编译之（不需要特别优化），（注：手动编译估计就是手动翻译成机器汇编代码），然后再运行这个手动编译的编译器来编译这个编译器的源码，并优化之。Donald Knuth 在他的 WEB literate programming 系统里用到了这个方法。
  
  据此推测，以C语言为例，最早的版本应该是采用最后一种办法，直接写汇编，Ken Thompson和Dennis Ritchie估计就是这么干的。
  然后继任者用早期的编译器或者手动方式去改进语言，随着语言规模的扩大，手动编写不太现实也没有必要，就用早期的编译器去形成新的编译器。
  随着版本的积累，如果新的语言比如C++成为必要，则用C语言的早期编译器去编写C++的编译器，以此类推。
  没有实际的调研，暂时推测如此。