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

摘要：

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

关键词：泛型编程、类型抽象、函数式程序设计、语法扩展

所属期刊栏目：48

分类号：TP312(计算技术、计算机技术)

在线出版日期：2013-01-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：71-76