CPA-SEL: Developing a Theory of Hygienic Macros

现代软件系统涉及数百万行代码。 在许多系统中，这些线中的许多是重复的，有一些变化，一些模式。 这种重复是必要的，因为当前的编程语言要求程序员一遍又一遍地拼出许多细节。 这样的重复是容易出错的，并且增加了软件系统的成本和上市时间。 本研究旨在发展语法抽象理论（也称为“宏”），使其与过程抽象或数据抽象相提并论。 它的目标是开发理论和工具，使抽象变得容易。 其结果旨在使iterasier编写复杂的语法抽象，这将允许语言设计者作出合理的选择时，设计一个syntacticabstraction设施。 主要的技术创新是将绑定模式作为宏的公共接口的一部分。

Modern software systems involve millions of lines of code. In manysystems, many of these lines are repetitions, with some variations, ofa few patterns. This repetition is necessary because currentprogramming languages require the programmer to spell out many detailsover and over again. Such repetition is error-prone and increases thecost and time-to-market of software systems. This research studiessyntactic abstraction, a technique to eliminate much of the repetitionin such systems.This research aims to develop the theory of syntactic abstractions(also called "macros") to put it on a par with procedural or dataabstraction. Its goal is to develop theories and tools that will makesyntactic abstraction easy. Its results are intended to make iteasier to write complex syntactic abstractions and that will allow alanguage designer to make rational choices when designing a syntacticabstraction facility. The main technical innovation is the inclusionof binding patterns as part of the public interface of a macro.