| O'Caml泛型编程中“泛型抽象”的研究 |
| |
| 引用本文： | 王朋,徐健,于尚超.O'Caml泛型编程中“泛型抽象”的研究[J].计算机技术与发展,2013,23(7). |
| |
| 作者姓名： | 王朋 徐健 于尚超 |
| |
| 作者单位： | 解放军理工大学指挥信息系统学院,江苏南京,210007 |
| |
| 基金项目： | 国家"863"高技术发展计划项目 |
| |
| 摘 要： | 泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同.泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性.在O'Caml语言中已经实现了类型标记函数和泛型函数,但泛型函数的类型参数只能是基本类型或实例化类型,不能使用抽象类型.“泛型抽象”是指使用抽象类型作为类型参数的函数定义方法,实现了“泛型编程”类型参数的多样化.文中在O'Caml语言上进行“泛型抽象”的研究,根据规则对O'Caml语言语法进行扩展,并在O'Caml语言中实现了“泛型抽象”函数定义.
|
| 关 键 词： | 泛型编程 函数式程序设计 语法扩展 泛型抽象 |
Research on Generic Abstract in O'Caml Generic Programming |
| |
| WANG Peng
,
XU Jian
,
YU Shang-chao.Research on Generic Abstract in O'Caml Generic Programming[J].Computer Technology and Development,2013,23(7). |
| |
| Authors: | WANG Peng XU Jian YU Shang-chao |
| |
| Abstract: | |
| |
| Keywords: | generic programming functional programming grammar extension generic abstraction |
| 本文献已被 万方数据 等数据库收录！ |
|
