compiler-construction - 构建您自己的可以作为编译器的解释器

Question

我可以构建自己的解释器，然后将其转换为编译器吗？如果是，我该如何构建它？

Answer 1

这被称为第二次二村投影。它首先由 Prof. Yoshihiko Futamura 描述在他 1971 年的论文 Partial Evaluation of Computation Process – An approach to a Compiler-Compiler (Japanese) , English version其中28年后重新出版。
它使用 Partial Evaluation ，通过相对于解释器部分评估部分评估器本身，从而产生编译器。
因此，您需要两个要素:一个用某种宿主语言(可能与目标语言相同也可能不同)编写的目标语言的解释器和一个能够评估解释器和它本身的部分评估器，换句话说，它需要部分评估宿主语言，并且它本身需要用它可以评估的宿主语言编写。