文献

J-GLOBAL ID：201502277673404716   整理番号：15A0447031

解析表現文法とSchemeマクロ展開器を用いたJavaScript向けHygienic構文マクロシステムの実装

An Implementation of a Hygienic Syntactic Macro System for JavaScript Using Parsing Expression Grammar and a Scheme Macro Expander

著者 (4件)： 甫水佳奈子 (東京工大 大学院情報理工学研究科) ,  甫水佳奈子 (三菱電機) ,  脇田建 (東京工大 大学院情報理工学研究科) ,  佐々木晃 (法政大 情報科学)
資料名： 情報処理学会論文誌トランザクション プログラミング(Web)  (情報処理学会論文誌 プログラミング(Web))
巻： 6  号： 2  ページ： WEB ONLY 85-101  発行年： 2013年08月29日 
JST資料番号： U0474A  ISSN： 1882-7802  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本稿は,JavaScriptの構文拡張を可能にするHygienic構文マクロシステムの実装技法を提案する。Hygienic構文マクロシステムは,マクロ展開の前後で変数の束縛や参照関係を破壊しない安全な構文マクロシステムである。このHygienic構文マクロシステムを利用することによって,プログラミング言語の構文の自由な拡張が可能になる。しかし,Hygienic構文マクロシステムは,S式という一貫した構文構造を持つSchemeには標準で組み込まれているものの,その他の一般的なプログラミング言語に実装された例はほとんどない。本稿では,まず,汎用的なプログラミング言語におけるHygienic構文マクロシステムの実装の難しさを示し,次に,本研究が提案するJavaScript向けHygienic構文マクロシステムの実装技法について述べる。提案する実装技法では,マクロ構文の追加によって拡張されるJavaScript構文を解析するための拡張可能なパーザの実現に解析表現文法を用い,マクロ展開は既存のSchemeマクロ展開器に委ねる。マクロ展開においては,マクロを含むJavaScriptコードをそれと等価なS式へと変換し,Schemeマクロ展開器で展開を行った後に,JavaScriptコードに逆変換するという言語間相互変換を行う。これらの工夫によりわずか2,000行弱のコンパクトな実装によってJavaScriptに対する記述力が高いHygienic構文マクロシステムを実現できた。(著者抄録)

シソーラス用語： *簡易言語 ,  計算機プログラム ,  *形式文法 ,  構文論 ,  構文分析 ,  実装設計 ,  プログラム変換 ,  評価試験 ,  言語処理系
準シソーラス用語： *Javaスクリプト ,  パーザ ,  マクロ ,  *解析表現文法 ,  構文解析 ,  マクロ展開

分類 (2件)： 応用プログラミング言語  (JD03052Y) ,  数理言語学  (JB05000V)

引用文献 (23件)：

• Adams, IV, N.I., Bartley, D.H., Brooks, G., Dybvig, R.K., Friedman, D.P., Halstead, R., Hanson, C., Haynes, C.T., Kohlbecker, E., Oxley, D., Pitman, K.M., Rozas, G.J., Steele Jr., G.L., Sussman, G.J., Wand, M. and Abelson, H.: Revised⁵ report on the algorithmic language Scheme, SIGPLAN Not., Vol.33, pp.26-76 (1998).
• Arai, H. and Wakita, K.: An implementation of a hygienic syntactic macro system for JavaScript: A preliminary report, Workshop on Self-Sustaining Systems, S3 '10, New York, NY, USA, pp.30-40, ACM (2010).
• Bachrach, J. and Playford, K.: D-Expressions: Lisp Power, Dylan Style, Technical report (1999).
• Bawden, A. and Rees, J.: Syntactic closures, Proc. 1988 ACM conference on LISP and functional programming, LFP '88, New York, NY, USA, pp.86-95, ACM (1988).
• Clinger, W. and Rees, J.: Macros that work, Proc. 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '91, New York, NY, USA, pp.155-162, ACM (1991).

タイトルに関連する用語 (8件)： 解析表現 ,  文法 ,  Scheme ,  マクロ ,  展開 ,  JavaScript ,  構文 ,  実装