Principles of Embedded Language Design

9404786 Hudak这个项目是在编程语言的设计和实施领域。该项目将开发用于设计和实现领域特定语言（DSL）的新方法和工具。本项目将把以下思想应用到嵌入式语言的设计中。 可扩展语言设计。由于每种语言设计工作的很大一部分都与语法的设计以及其他小问题（如条件语句、布尔和算术运算符）有关，因此该项目将研究在DSL设计中使用通用语法。其思想是以模块化的方式扩展通用语法，以满足特定领域的需求。 使用部分求值的快速DSL实现。为了快速开发DSL编译器，该项目将探索部分求值的使用。 虽然最终的编译器将比手工编译器效率低，但它们将被快速自动地构造，并且它们在解释器规范方面是可证明正确的。 一流的工具。该项目将应用PI开发的用于指定语言工具（如调试器和分析器）的方法来开发DSL工具。 ***

9404786 Hudak This project is in the area of programming language design and implementation. The project will develop new methodologies and tools for the design and implementation of domain specific languages (DSL). The project will apply the following ideas to the embedded language design. Extensible Language Design. Since a large portion of every language design effort is concerned with the design of the syntax, and other minor issues such as conditional statements, boolean and arithmetic operators, the project will investigate the use of generic syntax for the design of DSL's. The idea is to extend the generic syntax in a modular fashion to meet the needs of specific domains. Rapid DSL Realization Using Partial Evaluation. In order to develop DSL compilers quickly, the project will explore the use of partial evaluations. Although the resulting compilers will be less efficient than hand-crafted compilers, they will be constructed quickly and automatically, and they are provably correct with respect to the interpreter specifications. First-Class Tools. The project will apply the methodologies developed by the PI for specifying language tools such as debuggers and profilers, to the development of tools for DSL. ***