函数式元编程语言的设计要素  

The Design Elements of Functional Meta-programming Languages

作　　者：欧阳坚[1] 罗晓光[1] 王生原[1] 戴桂兰[1] 张素琴[1] 

机构地区：[1]清华大学计算机系,硕士研究生北京100084

出　　处：《计算机科学》2006年第3期234-238,共5页Computer Science

基　　金：国家自然科学基金项目(编号:#60403022)

摘　　要：本文介绍基于函数式语言的元编程系统,讨论元编程系统特别是同构系统的语言特点。从程序反射的角度分析元编程系统对程序设计语言在自我表示、自我分析和控制等方面的要求。以 MetaML 和 Template Haskell 为例论述在函数式语言中为了支持元编程需要扩展的机制,包括语法、语义、类型系统、安全的变量使用等,以及它们的实现方案、各方案的特点。最后总结一些元编程系统的共同点,并预测未来的发展趋势。This paper firstly gives a brief introduction to functional meta-programming systems and presents the language 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.

关 键 词：函数式语言 程序反射 元编程系统 同构系统 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论] TB482[自动化与计算机技术—计算机科学与技术]