函数式程序模板元编程的元建模实现方法

来源：计算机工程与应用杂志2018年第7期北京时间：

作者：祝 义1，2，黄志球1，周 航1，刘林源1，3

单位：1.南京航空航天大学 计算机科学与技术学院，南京 210016；2.江苏师范大学 计算机科学与技术学院，江苏 徐州 221116；3.南京审计大学 经济与贸易学院，南京 211815

摘要：针对函数式程序模板元编程的通用性问题，以应用类型系统ATS（Applied Type System）为例，提出了一种基于元建模的模板元编程实现方法。基于ATS模板元编程给出从枚举类型Datatype到Function的生成实例；通过元建模构造了包含Datatype与Function定义的ATS元模型；详细描述了Datatype模型到Function模型的转换；最后以一个基于元建模的ATS模板元编程为例，讨论了该方法的使用效果。实验结果表明该方法可以提高ATS模板元编程的通用性。

关键词：函数式程序,应用类型系统,模板,元编程,模型转换