博士的三个投影

- 这篇文章讨论的是**Futamura Projection（二村射影）**，这是编程语言理论中的一个经典概念，由日本计算机科学家二村良彦（Yoshihiko Futamura）在1970年代提出。 - 二村射影的核心思想是关于**部分求值（partial evaluation）**——一种能根据程序的一部分输入，自动生成更高效版本程序的技术。 - 简单说，它描述了如何通过三层“射影”（转换步骤），把一个普通的解释器一步步变成一个编译器，甚至一个编译器生成器。这让“可以通过写解释器来自动得到编译器”这一反直觉的想法成为可能。 - 这篇文章的作者sigfpe（Dan Piponi）是一位英国程序员和理论计算机科学家，经常以通俗、有趣的方式讲解高阶、抽象的技术概念。 - 理解此文需要一定的函数式编程和编程语言理论背景，尤其是对“解释器 vs 编译器”、“固定点”（fixed point）和“元编程”的直觉。这篇文章本身是对这一经典理论的重述和意译，而非原始论文。