CAREER: Multi-stage Programming for Object-Oriented Languages

建议编号0747431标题职业：面向对象语言的多阶段编程 瓦利德·塔哈，莱斯大学在过去的十年里，多阶段编程（MSP）已经成为一种统一的方法，它抓住了纪律的本质程序生成。MSP的早期工作集中在纯函数式语言上。这个提案的目标是将我们所知道的关于MSP的知识应用到主流语言（如Java和C#）的上下文中。这将通过精心设计的最小扩展来实现，这些扩展提供了一种表达性的、静态检查的机制，以有效地消除解释性开销。该项目将设计一种面向对象的语言，为编写程序生成器提供静态检查支持。该语言名为Java Program Mint（Mint），将支持： 1.在扩展/生成之前进行静态检查的分段构造， 2.索引类型，以实现与分段特别协同的进一步优化，以及 3.编译时的静态类型计算。Mint的设计将通过建立正式的安全性和表现力结果进行评估，而实现将通过构建演示应用程序进行评估。Mint的新特性将对使用反射和构成特定领域语言（DSL）扩展的应用程序产生最大的影响，例如序列化器、JavaBean定制工具和同步库。

Proposal Number 0747431TITLE CAREER: Multi-stage Programming for Object-Oriented Languages PI Walid Taha, Rice UniversityOver the past decade, multi-stage programming (MSP) has emerged as a unifying approach that captures the disciplined essence program generation. Early work on MSP focused on purely functional languages. The goal of this proposal is to put what we know about MSP to work in the context of mainstream languages such as Java and C#. This will be achieved by means of carefully designed, minimal extensions that provide an expressive, statically checked mechanism for effectively eliminating the interpretive overhead.The project will design an object-oriented language that provides statically checked support for the writing of program generators. The language, called The Java Program Mint (Mint) will support: 1. Staging constructs that are statically checked before expansion/generation, 2. Indexed types, to enable further optimizations that are particularly synergistic with staging, and 3. Disciplined, statically typed compile-time computation. The design of Mint will be evaluated by establishing formal safety and expressivity results, and the implementation will be evaluated by building demonstration applications. The novel features of Mint will have the most impact on applications that use reflection and that constitute domain-specific language (DSL) extensions, such as serializers, JavaBeans customization facilities, and synchronization libraries.