PolyP-一种多类型编程语言扩展

许多函数必须针对不同的数据类型反复编写，要么是因为数据类型在程序开发过程中会发生变化，要么是因为不同的数据类型需要具有类似功能的函数。此类函数的示例有漂亮的打印机、调试器、等式函数、统一器、模式匹配器、重写函数等。此类函数称为多类型函数。多类型函数是通过归纳用户定义数据类型的结构来定义的函数。本文扩展了一种函数语言（Haskell的子集），使用一种用于编写多类型函数的构造。扩展语言类型检查多型函数的定义，并使用琼斯限定类型和高阶多态性理论的扩展来推断所有其他表达式的类型。扩展语言中程序的语义是通过以字典传递样式向函数添加类型参数来获得的。扩展语言中的程序被翻译为Haskell。