A study on hygienic syntactic macro system as a generic meta-programming foundation

宏系统已经被广泛地应用于现有的编程语言。然而，众所周知，简单的宏系统会导致严重的编程错误。卫生句法宏系统是在LISP文化背景下研究的，是解决传统宏系统问题的一种解决方案，但针对非LISP语言的实现还很少，系统的实现方案也是未知的。本研究提出了一种紧凑、系统的泛型编程语言实现方案。我们已经将所提出的技术应用于实现了针对Java脚本和Scala的卫生宏系统。该方案解决了两个技术障碍：(1)可扩展解析器的实现；(2)宏扩展器的实现。

Macro systems have been widely adopted to existing programming languages. However, it is also known that simple macro systems cause serious programming errors. Hygienic syntactic macro system that has been studied in the context of LISP culture is a solution to problems of traditional macro system but a implementations for non-LISP languages are rare and a systematic implementation scheme has been unknown. The research proposes a compact and systematic implementation scheme for generic programming languages. We have applied the proposed technique to implement hygienic macro systems for JavaScript and Scala. The proposal resolves two technical obstacles: (1) implementation of extensible parser, and (2) implementation of macro expander.