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

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户：QCLHQCLH

【摘要】

：

针对函数式程序模板元编程的通用性问题,以应用类型系统ATS(Applied Type System)为例,提出了一种基于元建模的模板元编程实现方法.基于ATS模板元编程给出从枚举类型Datatype

【作者】

：

祝义黄志球周航刘林源

【机构】

：

南京航空航天大学计算机科学与技术学院,江苏师范大学计算机科学与技术学院,南京审计大学经济与贸易学院

【出处】

：

计算机工程与应用

【发表日期】

：

2018年7期

【关键词】

：

函数式程序应用类型系统模板元编程模型转换

【基金项目】

：

国家自然科学基金(No.61502212);江苏省博士后基金(No.1501055B);江苏省自然科学基金(No.BK20130735);江苏省高校自然科学研究项目(No.13KJB520011)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

红色旅游在中国的发展

在旅游业快速发展的今天，红色旅游作为一种新的主题型旅游形式。在神州大地逐渐兴起。积极发展红色旅游有利于贯彻党的精神，提高广大公民热爱祖国，了解历史的意识；有利于弘扬中国

期刊

红色旅游发展现状原因对策

煤炭企业内部市场化管理研究与探索

随着社会发展和经济全球化，煤炭企业面临着更加复杂的经营环境：技术发展日新月异、安全成本费用加大、市场信息瞬息万变、客户需求个性化、竞争日趋激烈等。所有这些都对煤炭企

学位

内部市场兴隆华丰问题及对策

清末留日学生与中国教育近代化

甲午战争结束以后，为了挽救国内日益深重的民族危机，广大爱国学子纷纷负笈东渡，开启了留学日本的新浪潮。这些留日学生在留日期间积极学习和吸收新思想、新文化，在学成归国后，开始

学位

清末留日学生中国教育近代化

FAS和FASLG基因多态性与特发性无精子症及严重少精子症易感性关系的研究

据WHO报道，全球生育障碍比率为10％～15％。生育障碍中约50％的不孕不育与男性有关，其中约30％原因不明。最近的研究表明，哺乳动物睾丸发育的不同阶段都存在着生殖细胞的凋亡，而生殖细胞凋

学位

男性不育基因多态性FAS/FASLG无精子症严重少精子症

大学生人际适应性量表编制及特点研究

随着社会的发展，学生心理素质受到越来越多研究者的重视。作为学生心理素质重要组成部分的人际适应性开始受到一些研究者的关注。从目前的研究来看，研究涉及到：(1)学生人际适应

学位

大学生人际适应性发展特点人际适应不良

国有企业股权投资控制机制研究

投资是企业发展的第一动力。建设有中国特色的社会主义市场经济时期的我国国有企业，将面对程度越来越大的国际大市场影响，因此作为追求利润、实现资本保值增值目的之一的、以期

学位

股权投资控制机制研究

黄连副产物综合开发利用关键技术研究

黄连是著名的传统中药，已有2000多年的药用历史，主要成分为小檗碱、药根碱、巴马汀及黄连碱等生物碱。黄连具有良好的功效，如抗菌、消炎、止痛、解毒、退热、驱风、健胃、利胆、

学位

黄连副产物功能安全性产品开发

福建中小企业集群文化的战略研究

中小企业集群是当今世界的一种重要的经济组织形式。对国内外成功中小企业集群进行考察，我们可以发现：集群文化是中小企业集群走向成功的源泉。目前，中小企业集群文化的研究尚处

学位

福建中小企业集群集群文化战略

实践导向下的计算机网络管理课程教学改革

文章首先对计算机网络管理课程特点进行了分析,然后阐述了计算机网络管理课程教学现状,最后提出了实践导向下的计算机网络管理课程教学改革,包括翻转课堂,突出学生主体地位;

期刊

实践导向计算机网络管理课程第二课堂

立足儿童天性着眼数学素养——“认识1~5各数”教学片断反思与改进

<正>儿童探索的天性之中潜藏着数学的创造,数学发展的过程与儿童学习数学的认知过程高度相似。因此,我提出的"儿童数学"教学主张的内涵即是"数由童生,童由数长"。如何激发儿

期刊

数学素养数学活动课程教学片断儿童天性

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

与本文相关的学术论文