具有类型codice_2的元素的列表类型。我们称对于codice_2的所有的值，codice_1的类型“由codice_2参数化”。结果的列表必须由相同类型的元素组成。对于应用codice_1的每个位置，都要为codice_2确定一个值。参数多态与特设多态相对。特设多态是指一个多态函数有多个不同的实现，依赖于其实参而调用相应版本的函数。因此，特设多态仅支持有限数量的不同类型。
历史.克里斯托弗·斯特雷奇于1967年8月在哥本哈根的计算机程序设计暑期学校发表了着名论文《》中首次提