函数式语言泛型特性的研究与实现

• 作者: 于尚超 李阳 王朋
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 泛型编程 类型抽象 函数式程序设计 语法扩展
• 年，卷（期）: 2012,（28）
• 所属期刊栏目: 研发、设计、测试
• 页码范围: 71-76
• 分类号: TP312
• 字数: 5489字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2012.28.015

摘要

对于泛型程序设计来说,类型的参数化多态是其理论框架,参数化多态引入了类型变量,使得类型参数化,支持类型上的抽象,从而可以大大提高软件的复用程度.泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果.在函数式语言上进行泛型的研究与应用,Haskell语言是函数式语言中较为经典的一种语言,它的计算模型简单,语法清晰,易于编写,易于维护,拥有很大的发展空间.利用一些规则对Haskell语言的语法进行相关扩展,同时引入泛型的思想,研究与运用定义泛型函数的方法,在Haskell语言上实现了泛型功能.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李阳	解放军理工大学指挥自动化学院计算机系	18	91	6.0	9.0
2	于尚超	解放军理工大学指挥自动化学院计算机系	5	4	2.0	2.0
3	王朋	解放军理工大学指挥自动化学院计算机系	3	4	2.0	2.0