或应用于不同类型的值之上的函数叫做“多态函数”。看起来具有泛化类型性质的数据类型（比如具有任意类型的元素的列表）被指认为“多态数据类型”，就像根据它来做特殊化的泛化类型那样。参数多态在函数式编程之中是普遍的，在这里它经常被简称为“多态”。下面的Haskell例子展示了参数化列表数据类型和在其上的两个参数多态函数：data List a = Nil | Cons a (List a)length :: List a -> Integerlength Nil = 0length (Cons x x