多段线

PolyLib–一个多类型函数库。多型程序是一个在一大类数据类型上表现一致的程序。对于函数多型编程,这种一致性是通过在类型构造函数上参数化函数来获得多型函数[12]。一个多型函数可以通过对正则型构造器结构的归纳来定义,也可以用其他多型函数来定义。polypo[8]是函数式编程语言Haskell的扩展,它有一个定义多型函数的结构。polypo是一个类型引导的预处理器,它生成多型函数的实例,并在需要的地方插入这些实例的应用程序。。。