[1]王朋,徐健,于尚超.O'Caml泛型编程中“泛型抽象”的研究[J].计算机技术与发展,2013,(07):92-95.
　WANG Peng,XU Jian,YU Shang-chao.Research on Generic Abstract in O'Caml Generic Programming[J].,2013,(07):92-95.
点击复制

O'Caml泛型编程中“泛型抽象”的研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2013年07期
页码:
92-95
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Research on Generic Abstract in O'Caml Generic Programming
文章编号:
1673-629X（2013）07-0092-04
作者:
王朋; 徐健; 于尚超
解放军理工大学 指挥信息系统学院
Author(s):
WANG Peng; XU Jian; YU Shang-chao
关键词:
泛型编程; 函数式程序设计; 语法扩展; 泛型抽象
Keywords:
generic programming; functional programming; grammar extension; generic abstraction
文献标志码:
A
摘要:
泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同.泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性.在O'Caml语言中已经实现了类型标记函数和泛型函数,但泛型函数的类型参数只能是基本类型或实例化类型,不能使用抽象类型.“泛型抽象”是指使用抽象类型作为类型参数的函数定义方法,实现了“泛型编程”类型参数的多样化.文中在O'Caml语言上进行“泛型抽象”的研究,根据规则对O'Caml语言语法进行扩展,并在O'Caml语言中实现了“泛型抽象”函数定义

相似文献/References:

[1]李阳 于尚超 王朋.基于Haskell语言的泛型扩展研究[J].计算机技术与发展,2012,(06):89.
　LI Yang,YU Shang-chao,WANG Peng.Generic Extension Research Based on Haskell Language[J].,2012,(07):89.
[2]缪伟宇 邵志清.使递归算法泛型化[J].计算机技术与发展,2008,(07):96.
　MIAO Wei-yu,SHAO Zhi-qing.Making Recursive Algorithms Generic[J].,2008,(07):96.

更新日期/Last Update: 1900-01-01