使用Haskell的类型类似乎它几乎可以实现ad hoc多态,但它的函数声明似乎是参数多态.我混合了对不同事物的理解吗？
polymorphism haskell type-systems functional-programming
functional-programming ×1
haskell ×1
polymorphism ×1
type-systems ×1