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

宏系统已被广泛采用现有的编程语言。 然而，也知道简单的宏系统会导致严重的编程错误。 在LISP文化背景下研究的通用语法宏系统是解决传统宏系统问题的一种方法，但在非LISP语言中的实现却很少，系统的实现方案也一直未知。 该研究为泛型编程语言提供了一个紧凑而系统的实现方案。 我们已经应用所提出的技术来实现JavaScript和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.