[1]缪伟宇 邵志清.使递归算法泛型化[J].计算机技术与发展,2008,(07):96-99.
　MIAO Wei-yu,SHAO Zhi-qing.Making Recursive Algorithms Generic[J].,2008,(07):96-99.
点击复制

使递归算法泛型化()
分享到：

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

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

文章信息/Info

Title:
Making Recursive Algorithms Generic
文章编号:
1673-629X（2008）07-0096-04
作者:
缪伟宇 邵志清
华东理工大学信息科学与工程学院
Author(s):
MIAO Wei-yu;  SHAO Zhi-qing
Sch. of Info. Sci. and Eng., East China Univ. of Sci. and Tech
关键词:
泛型编程; 泛型算法; 原始递归; 函数式程序设计
Keywords:
generic programming;  generic algorithms;  primitive recursion;  functional programming
分类号:
TP301.6
文献标志码:
A
摘要:
对于泛型程序设计来说，类型理论中的参数化多态是其理论框架，因为参数化多态引入了类型变量，使得类型参数化，从而完全支持类型上的抽象。然而对于现行的泛型算法，无论是C＋＋标准模版库中的泛型算法还是基于函数式程序设计语言的算法，函数功能的定义比较具体化、单一化，因而缺乏可扩展性和高度的复用性。将对递归算法进行抽象，构造原始递归构造子，使得一般的泛型算法都可以通过该算子来构造，从而加强泛型算法的可复用型与可扩展性。除此之外，分析了递归算法构造子与泛型程序设计中的iterator概念和用于描叙泛型概念的形式化语言T
Abstract:
Parametric polymorphism is crucial to generic programming in that it adopts parameterized types and therefore fully supports the abstraction on types. However, current generic algorithms, both developed in C＋ ＋ standard template library and in functional

相似文献/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]王朋,徐健,于尚超.O'Caml泛型编程中“泛型抽象”的研究[J].计算机技术与发展,2013,(07):92.
　WANG Peng,XU Jian,YU Shang-chao.Research on Generic Abstract in O'Caml Generic Programming[J].,2013,(07):92.

备注/Memo

备注/Memo:
国家自然科学基金资助项目（60373075）缪伟宇（1983-），男，硕士研究生，研究领域为泛型编程和程序设计语言；邵志清，博士，教授，研究领域为软件开发与验证方法
更新日期/Last Update: 1900-01-01