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

点击翻译按钮获取中文摘要

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.