什么是Haskell的多態性風格？

Question

使用Haskell的類型類似乎它幾乎可以實現ad hoc多態，但它的函數聲明似乎是參數多態。 我混合了對不同事物的理解嗎？

Answer 1

實際上，Haskell支持（更高級別）參數多態性和ad hoc（或有界 ）多態性。 Haskell中的參數多態通過其Hindley-Milner / System F類型系統得到支持。 通過類型類支持Ad hoc多態。

對於類類和ad hoc多態的起源，請參閱Wadler的論文：

• 如何使ad-hoc多態性不那么特別 ，Philip Wadler和Stephen Blott。 第16屆編程語言原理研討會，ACM出版社，德克薩斯州奧斯汀，1989年1月。

對於參數和ad hoc多態的區別的起源，你可以挖掘Strachey的論文，

• C. Strachey， 編程語言的基本概念 。 1967年8月在哥本哈根舉行的國際計算機程序暑期學校講義