多阶段编程与拼接变量：安全可预测的代码生成

这篇论文介绍了一种名为“多阶段编程”（MSP）的新技术，它允许程序生成其他程序。为了保证代码生成的安全性与可预测性，研究人员引入了“拼接变量”的概念。拼接变量能够精确控制代码生成过程，并无缝扩展到高级特性，例如代码模式匹配和重写。类型系统自动跟踪变量依赖关系，确保生成的代码始终格式良好、范围正确且类型检查正确。文中通过一个计算x的n次方的例子以及代码模式匹配、重写等功能演示了拼接变量的强大之处。