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

doi:10.3778/j.issn.1002-8331.1710-0159

计算机工程与应用 ›› 2018, Vol. 54 ›› Issue (7): 1-10.DOI: 10.3778/j.issn.1002-8331.1710-0159

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

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

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

出版日期:2018-04-01 发布日期:2018-04-16

Meta-modeling method for implementing template meta-programming of functional programming

ZHU Yi1，2, HUANG Zhiqiu1, ZHOU Hang1, LIU Linyuan1，3

1.College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China
2.School of Computer Science and Technology, Jiangsu Normal University, Xuzhou, Jiangsu 221116, China
3.School of Economics and Trade, Nanjing Audit University, Nanjing 211815, China

Online:2018-04-01 Published:2018-04-16

摘要/Abstract

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

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

Abstract: In order to solve the problem that the template meta-program of functional programming language lacks generality, this paper proposes a meta-modeling method for implementing the template meta-programming of functional programming, which is illustrated by the case of Applied Type System（ATS）. Firstly, an instance for generating code from Datatype to Function is given based on ATS template meta-programming. Secondly, an ATS meta-model which includes the definitions of Datatype and Function is constructed by meta-modeling. Thirdly, the transformation from Datatype model to Function model is described. Lastly, an example of ATS template meta-programming based on meta-modeling is given to verify the effectiveness of this method. The experiments show that the method can increase the generality of ATS template meta-programming.

Key words: functional programming, Applied Type System（ATS）, template, meta-programming, model transformation

祝义1，2，黄志球1，周航1，刘林源1，3. 函数式程序模板元编程的元建模实现方法[J]. 计算机工程与应用, 2018, 54(7): 1-10.

ZHU Yi1，2, HUANG Zhiqiu1, ZHOU Hang1, LIU Linyuan1，3. Meta-modeling method for implementing template meta-programming of functional programming[J]. Computer Engineering and Applications, 2018, 54(7): 1-10.

[1]	郝亚玲，朱欣娟，吴晓军. 面向3D虚拟展示的软件定制化系统研究[J]. 计算机工程与应用, 2021, 57(5): 271-278.
[2]	张俊，廖雪花，余旭玲，雷蒙. 关系型数据库内存化存储模型研究[J]. 计算机工程与应用, 2021, 57(19): 123-128.
[3]	徐家俊，张翌维，赵建，相韶华. 针对SM4算法的功耗模板-碰撞分析[J]. 计算机工程与应用, 2021, 57(11): 111-118.
[4]	马玲，罗晓曙，蒋品群. 基于模板匹配和支持向量机的点阵字符识别研究[J]. 计算机工程与应用, 2020, 56(4): 134-139.
[5]	袁良友，周航，韩丹，许国梁. 引入平滑迭代的骨架提取改进算法[J]. 计算机工程与应用, 2020, 56(24): 188-193.
[6]	王诗宇，刘洪星，范家佳. 移动用户界面概念模型到代码的转换方法研究[J]. 计算机工程与应用, 2020, 56(10): 240-245.
[7]	胡昭华，李高飞，陈胡欣. 多通道特征和择优并行更新的核相关滤波跟踪[J]. 计算机工程与应用, 2019, 55(15): 161-168.
[8]	王玮婧，张雪锋. 基于Gabor滤波器与LDP掌纹可撤销模板生成方法[J]. 计算机工程与应用, 2018, 54(9): 89-95.
[9]	郭蕊，张雪锋. 基于Bloom过滤和分块的组合指纹模板保护算法[J]. 计算机工程与应用, 2018, 54(6): 75-80.
[10]	谢小雨1，刘喆颉1，2. 基于DTW算法的肌电信号手势识别方法[J]. 计算机工程与应用, 2018, 54(5): 132-137.
[11]	郑凌，梁意文，谭成予. 击键动态学的多模板联合决策更新方法[J]. 计算机工程与应用, 2018, 54(20): 128-131.
[12]	唐浩漾，程颖涛，郭娜，孙梓巍，王婧. HEVC的异构钻石模板快速搜索算法[J]. 计算机工程与应用, 2018, 54(18): 208-211.
[13]	李亚楠，张雪锋. 基于安全概略的可撤销掌纹模板生成算法[J]. 计算机工程与应用, 2018, 54(18): 115-120.
[14]	李云祥，宋元斌，范晨昊. 复杂项目调度中的逻辑关系表述及模型转换[J]. 计算机工程与应用, 2018, 54(13): 216-223.
[15]	费博雯，邵良杉，刘万军. 基于子区域匹配的稀疏表示跟踪算法[J]. 计算机工程与应用, 2017, 53(9): 201-207.

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

Meta-modeling method for implementing template meta-programming of functional programming

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics