著者

安本 太一 湯淺 太一

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (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.