使递归算法泛型化

• 作者: 缪伟宇 邵志清
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 泛型编程 泛型算法 原始递归 函数式程序设计
• 年，卷（期）: 2008,（7）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 96-99
• 页数: 4页
• 分类号: TP301.6
• 字数: 3086字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2008.07.029

摘要

对于泛型程序设计来说,类型理论中的参数化多态是其理论框架,因为参数化多态引入了类型变量,使得类型参数化,从而完全支持类型上的抽象.然而对于现行的泛型算法,无论是C++标准模版库中的泛型算法还是基于函数式程序设计语言的算法,函数功能的定义比较具体化、单一化,因而缺乏可扩展性和高度的复用性.将对递归算法进行抽象,构造原始递归构造子,使得一般的泛型算法都可以通过该算子来构造,从而加强泛型算法的可复用型与可扩展性.除此之外,分析了递归算法构造子与泛型程序设计中的iterator概念和用于描叙泛型概念的形式化语言Tecton中所提倡的reuse概念的一致性.也给出算法复杂度的定量分析,并用函数式语言ML来实现.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邵志清	华东理工大学信息科学与工程学院	90	761	14.0	24.0
2	缪伟宇	华东理工大学信息科学与工程学院	1	3	1.0	1.0