息肉

多类型程序设计扩展。许多函数必须为不同的数据类型反复编写,这可能是因为数据类型在程序开发过程中会发生变化,或者是因为在不同的数据类型上需要具有相似功能的函数。这类函数的例子有漂亮的打印机、调试器、相等函数、统一器、模式匹配器、重写函数等。这些函数称为多型函数。多型函数是通过对用户定义的数据类型的结构进行归纳而定义的函数。本文扩展了一种函数语言(Haskell的一个子集),提出了一种编写多型函数的结构。扩展语言类型检查多型函数的定义,并使用Jones的限定类型和高阶多态性理论的扩展来推断所有其他表达式的类型。扩展语言中程序的语义是通过在字典传递样式的函数中添加类型参数来获得的。。。

这个软件也是同行评审按日记帐汤姆斯.