O'Caml泛型编程中“泛型抽象”的研究

来源 :计算机技术与发展 | 被引量 : 0次 | 上传用户:ceng0606
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同.泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性.在O’Caml语言中已经实现了类型标记函数和泛型函数,但泛型函数的类型参数只能是基本类型或实例化类型,不能使用抽象类型.“泛型抽象”是指使用抽象类型作为类型参数的函数定义方法,实现了“泛型编程”类型参数的多样化.文中在O’Caml语言上进行“泛型抽象”的研究,根据规则对O’Caml语言语法进行扩展,并在O’Caml语言中实现了“泛型抽象”函数定义.
其他文献
随着自动化仪表设备的应用越来越广泛,为延长设备的使用寿命,保持正常的工作状态,需要我们定期对自动化仪表进行维护,从而有效提升生产效率"本文分析了工业自动化仪表鼓掌的一
党建工作,历来是企业发展的中心工作,也是党发展壮大的重点工作,本文从集体企业强化党建工作入手,试论如何通过强化集体企业党建工作,来提升党建工作理念,从而推进集体企业和谐稳定
随着公路、桥梁工程项目的不断增加,桥梁施工过程中的安全问题也日益凸显出来。因此,分析桥梁工程中的危险、有害因素,找出事故发生的潜在原因,并实施积极有效的预防措施,实现桥梁
中共中央总书记习近平22日在十八届中央纪委二次全会上发表重要讲话强调,反腐倡廉建设,必须反对特权思想、特权现象。所谓特权现象,是指某些领导干部把人民赋予的权力私有化,在政
本文通过对建立安全生产长效机制中安全文化、安全法制、安全责任、安全技术和安全投入等要素的分析和作用协同,阐述推进安全生产长效机制建设。
本文在分析实行资格后审的必要性的基础上,从招标文件和招标公告核准备案、采取不记名方式发售招标文件、采用不集中潜在投标人踏勘现场、答疑等方式、完善投标文件的编制与递
随着社会的进步,生活水平的提高,人们生活生产中各种电气设备应运而生。电气安装工程中所暴露的问题也愈加明显。这些问题,不仅给人们的生活生产造成了极大的不便,而且还可能伴
随着时代的发展和科技的进步,企业文化的作用越来越明显,也越来越受到广泛的关注。能否构建一种积极向上的企业文化,就成了一个企业兴衰存亡的关键因素
本文对水泥改良黄土填料,在不同掺合比、不同含水量、不同压实度下进行无侧限抗压强度试验,探讨水泥改良黄土的强度特性。试验结果表明:人工压实黄土强度低,水稳定性差;采用
在引风机叶片上加装射流喷嘴装置吹扫引风机叶片的积灰。应用Fluent软件模拟引风机不同喷嘴进口风速下引风机叶片非工作面上的静压分布。结果表明,引风机变负荷运行时,叶片非