haskell - Haskell 如何处理重载多态性？

Question

我有一个关于 Haskell 多态性的问题。
据我所知，有两种类型的多态性:

参数 : 你没有指定输入类型。
例子:

 functionName :: [a] -> a

重载 : 作为命令式编程，即将不同的参数传递给同一个函数。

我的问题是:Haskell 如何处理重载？

Answer 1

Haskell 中的重载是使用类型类完成的。例如，假设您要重载一个函数 foo返回 Int :

class Fooable a where
    foo :: a -> Int

instance Fooable Int where
    foo = id

instance Fooable Bool where
    foo _ = 42

但是，它们比大多数语言中的重载机制更强大。例如，您可以重载返回类型:

class Barable a where
    bar :: Int -> a

instance Barable Int where
    bar x = x + 3

instance Barable Bool where
    bar x = x < 10

有关更多示例，请查看 predefined type classes在 haskell 。