于应用codice_1的每个位置，都要为codice_2确定一个值。参数多态与特设多态相对。特设多态是指一个多态函数有多个不同的实现，依赖于其实参而调用相应版本的函数。因此，特设多态仅支持有限数量的不同类型。
历史.克里斯托弗·斯特雷奇于1967年8月在哥本哈根的计算机程序设计暑期学校发表了着名论文《》中首次提出了参数多态、特设多态、左值、右值等概念。1975年ML语言首次实现了参数多态。 现在，Standard ML, OCaml, F#, Ada, Haskell, M