| 函数式元编程语言的设计要素 |
| |
| 引用本文： | 欧阳坚,罗晓光,王生原,戴桂兰,张素琴. 函数式元编程语言的设计要素[J]. 计算机科学, 2006, 33(3): 234-238 |
| |
| 作者姓名： | 欧阳坚 罗晓光 王生原 戴桂兰 张素琴 |
| |
| 作者单位： | 清华大学计算机系,北京,100084;清华大学计算机系,北京,100084;清华大学计算机系,北京,100084;清华大学计算机系,北京,100084;清华大学计算机系,北京,100084 |
| |
| 摘 要： | 本文介绍基于函数式语言的元编程系统,讨论元编程系统特别是同构系统的语言特点。从程序反射的角度分析元编程系统对程序设计语言在自我表示、自我分析和控制等方面的要求。以 MetaML 和 Template Haskell 为例论述在函数式语言中为了支持元编程需要扩展的机制,包括语法、语义、类型系统、安全的变量使用等,以及它们的实现方案、各方案的特点。最后总结一些元编程系统的共同点,并预测未来的发展趋势。
|
| 关 键 词： | 函数式语言 程序反射 元编程系统 同构系统 |
The Design Elements of Functional Meta-programming Languages |
| |
| OU-Yang Jian,LUO Xiao-Guang,WANG Sheng-Yuan,DAI Gui-Lan,ZHANG Su-Qin. The Design Elements of Functional Meta-programming Languages[J]. Computer Science, 2006, 33(3): 234-238 |
| |
| Authors: | OU-Yang Jian LUO Xiao-Guang WANG Sheng-Yuan DAI Gui-Lan ZHANG Su-Qin |
| |
| Affiliation: | Department of Computer Science and Technology, Tsinghua University, Beijing 100084 |
| |
| Abstract: | This paper firstly gives a brief introduction to functional meta-programming systems and presents the lan- guage sugar of meta-programming systems especially homogeneous systems.Meta-programming languages'extra re- quirements including self expressing,self reasoning,and self controlling in meta-programming systems are analyzed in a view of procedural reflection.Then the paper discusses the issues of expanding a normal language to a meta-language, such as syntax,semantics,type system,hygienic variable usage and their implementation choices,by using MetaML and Template Haskell as examples.Finally,it sums up with common characteristics of meta-programming systems and predicts future trends. |
| |
| Keywords: | Functional language Procedural reflection Meta-programming system Homogeneous systems |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
