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.

• 本文介绍基于函数式语言的元编程系统,讨论元编程系统特别是同构系统的语言特点。