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

• 作者: 于尚超 徐健 王朋
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 泛型编程 函数式程序设计 语法扩展 泛型抽象
• 年，卷（期）: 2013,（7）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 92-95,100
• 页数: 5页
• 分类号: TP31
• 字数: 3772字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2013.07.023

摘要

泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同.泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性.在O'Caml语言中已经实现了类型标记函数和泛型函数,但泛型函数的类型参数只能是基本类型或实例化类型,不能使用抽象类型.“泛型抽象”是指使用抽象类型作为类型参数的函数定义方法,实现了“泛型编程”类型参数的多样化.文中在O'Caml语言上进行“泛型抽象”的研究,根据规则对O'Caml语言语法进行扩展,并在O'Caml语言中实现了“泛型抽象”函数定义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	于尚超	解放军理工大学指挥信息系统学院	5	4	2.0	2.0
2	王朋	解放军理工大学指挥信息系统学院	3	4	2.0	2.0
3	徐健	解放军理工大学指挥信息系统学院	2	2	1.0	1.0