- 著者
-
安本 太一
湯淺 太一
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理学会論文誌 (ISSN:18827764)
- 巻号頁・発行日
- vol.39, no.9, pp.2659-2670, 1998-09-15
- 参考文献数
- 18
複数の名前空間を持つLispのためのモジュール機能を提案する.提案するモジュール機能の特徴は,モジュールによって最上位環境(top?level environment)とともに記号空間を分割し,モジュール間で(記号ではなく)束縛の可視性制御を行うことにある.既存のLisp言語を自然でかつ容易な方法で拡張してモジュール機能を追加できるうえ,Lispにおけるプログラム開発効率の高さも損なわない.さらに,マクロの束縛捕捉問題を,単純ではあるが効果的に解決できる.A module system is proposed for Lisp dialects with multiple name-spaces.A module in this module system is characterized by its own top-level environment and its own symbol space.By partitioning a single symbol-space,as well as a single top-level environment,into modules,the module system allows to extend existing Lisp languages in a natural and easy way,while preserving the efficiency of program development in Lisp.It also provides simple but effective solutions to the binding-capturing problems of macros.