部分求值

- **偏特求值（Partial Evaluation）** 是一种程序优化技术：给定一个程序及其部分输入，它提前运行那些只需要已知输入就能完成的计算，生成一个针对剩余输入的“特化版”程序，运行起来比原来更快。 - 核心概念是 **Futamura 投影**（由日本学者二村良彦在 1970 年代提出）：只要有一个“偏求值器”（也叫编译器生成器），就能自动把解释器变成编译器，甚至自我生成更高级的工具链。这三个投影在理论上是计算机科学中“自指”与“元编程”的经典结果。 - 这项技术在实际中被用于 **语言实现**（如 Template Haskell、C++ 模板元编程）、**科学计算**（提前计算固定参数的矩阵运算）以及 **系统优化**（如 Linux 内核的 TCP 校验和例程的自动特化）。 - 理解偏特求值有助于把握“运行时 vs. 编译时分工”的极限、**编译器如何从解释器中自动生成**，以及程序语言中“部分已知信息”能多大程度地加速剩余计算。