類型類

在計算機科學中 ， 類型類 （ type class ） ， 是支持特設多態的類型系統構造 。 這是通過向參數多態類型的類型變量增加約束完成的 。 這種約束典型的涉及到一個類型類T和一個a ， 並意味着a所能實例化的類型 ， 其成員必須支持關聯於T的重載運算 。 類型類首先在Haskell中實現 ， 當時Philip Wadler和Stephen Blott提出它 ， 作爲對Standard ML的eqtype的擴展 ， 並且最初構想爲以本原方式實現重載算術及等式算符的一種途徑 。 對比於Standard ML的 “ eqtypes ” ， 在Haskell中通過使用類型類重載等式算符 ， 不要求編譯器前端或底層類型系統的廣泛修改 。 自從它們創立之後 ， 已經發現了類型類的很多其他應用 。