Type Safe Program Generators

本研究计画探讨程式产生工具与型别语言的紧密整合。目前的程序生成技术可以分为与语言环境集成的（如Lisp中的宏）或语言外部的（如C的yacc和lex）。在语言集成的生成器中，分类法可以进一步细化为紧密集成的生成器（例如反射系统）和松散集成的生成器（例如宏预处理器）。将生成器紧密集成到类型化语言中会产生许多必须找到解决方案的问题，然而，提高表达能力、效率、生产力、可重用性、可靠性和质量的好处使得研究解决这些问题是值得的。如果该项目成功，它将为构建生成器系统量身定制的反射ML类语言提供更清晰的语义，说明如何限制这种反射语言以维护强类型的不变量，设计元编程系统以防止变量捕获或设计隐藏，并构建一个编程环境，在该环境中，生成的代码可以与以更传统的方式生成的代码无缝集成。

This research project investigates the tight integration of program generation facilities into typed languages. Present program generation technology can be classified as either integrated with the language environment, as are macros in Lisp, or external to the language, as are yacc and lex for C. Within language-integrated generators, the taxonomy can be further refined into tightly-integrated generators, exemplified by reflective systems, and loosely-integrated generators, such as macro preprocessors. Tight integration of generators into typed languages gives rise to a number of problems to which solutions must be found. However, the benefits of increased expressiveness, efficiency, productivity, reusability, reliability, and quality makes research into solving these problems worthwhile. If the project is successful, it will provide a clearer semantics to a reflective ML-like language tailored for building generator systems, illustrate how such a reflective language can be restricted to maintain the invariants of strong typing, design a meta-programming system to prevent variable capture or design hiding, and build a programming environment where generated code can be seamlessly integrated with code produced in more traditional ways.