什么是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月在哥本哈根举行的国际计算机程序暑期学校讲义