e_3的元素的列表类型。我们称对于codice_3的所有的值，codice_2的类型“由codice_3参数化”。结果的列表必须由相同类型的元素组成。对于应用codice_2的每个位置，都要为codice_3确定一个值。参数多态的概念适用于数据类型和函数二者。可以被求值或应用于不同类型的值之上的函数叫做“多态函数”。看起来具有泛化类型性质的数据类型（比如具有任意类型的元素的列表）被指认为“多态数据类型”，就像根据它来做特殊化的泛化类型那样。参数多态在函数式编程之中是普遍的，在这里它经常被简称为“多态