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

• 作者: 刘林源 周航 祝义 黄志球
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 函数式程序 应用类型系统 模板 元编程 模型转换
• 年，卷（期）: 2018,（7）
• 所属期刊栏目: 热点与综述
• 页码范围: 1-10
• 页数: 10页
• 分类号: TP31
• 字数: 7413字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1710-0159

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学计算机科学与技术学院	183	1755	20.0	33.0
2	刘林源	南京航空航天大学计算机科学与技术学院	6	59	5.0	6.0
6	祝义	南京航空航天大学计算机科学与技术学院	15	179	8.0	13.0
8	周航	南京航空航天大学计算机科学与技术学院	34	186	8.0	11.0