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

作为通用元编程基础的卫生句法宏系统研究

• 批准号: 23500034
• 负责人: WAKITA Ken
• 金额: $ 3.24万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2011
• 资助国家: 日本
• 起止时间: 2011 至 2013
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23500034/
• 关键词: 構文マクロシステム; メタプログラミング; JavaScript; LISP; Hygienicマクロシステム; 構文解析; プログラム処理系; ドメイン特化型言語; シミュレーション言語

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.

宏系统已被广泛采用现有的编程语言。 然而，也知道简单的宏系统会导致严重的编程错误。 在LISP文化背景下研究的通用语法宏系统是解决传统宏系统问题的一种方法，但在非LISP语言中的实现却很少，系统的实现方案也一直未知。 该研究为泛型编程语言提供了一个紧凑而系统的实现方案。 我们已经应用所提出的技术来实现JavaScript和Scala的卫生宏系统。 该方案解决了两个技术难题：（1）可扩展解析器的实现;（2）宏扩展器的实现。

项目成果

Examples of EX-JS Macros

EX-JS 宏示例

ビジュアルブロックを採用したドメイン特化言語とその開発ツールの実現手法

一种使用可视化块的领域特定语言及其开发工具实现方法

• 发表时间: 2014
• 作者: 栗原あずさ;佐々木晃;脇田建
• 通讯作者: 脇田建

Webアプリケーション開発のための分散JavaScriptとそのアプリケーション

分布式 JavaScript 及其在 Web 应用程序开发中的应用

• 发表时间: 2012
• 作者: 浅野孝夫;浅野泰仁;小野孝男;平田富夫;星加大樹;加藤真人
• 通讯作者: 加藤真人

Chrome Debugger APIを用いたLive Edit 開発環境の実装技法

使用Chrome Debugger API的Live Edit开发环境的实现技术

• 发表时间: 2011
• 作者: Shuji Takahashi;Atsushi Horiguchi;Kazuhiro Motegi and Yoichi Shiraishi;吉永卓矢
• 通讯作者: 吉永卓矢

脇田建, 高級マクロシステム(ホームページ等)

Ken Wakita，高级宏系统（主页等）