haskell - 为什么 Int 不实现 'Monoid' ？

Question

给定一个 Maybe Int , 我试过 mappend它自己。

$let x = Just 55 :: Maybe Int

$mappend x x

<interactive>:126:1:
    No instance for (Monoid Int) arising from a use of `mappend'
    In the expression: mappend x x
    In an equation for `it': it = mappend x x

看Maybe ， 我懂了:

Monoid a => Monoid (Maybe a)

从 Int未实现 Monoid type-class，这解释了为什么我不能使用 mappend与 Maybe Int .

但是，我记得 LYAH我可以使用Sum :

ghci> let x = Sum 55
ghci> mappend x x
Sum {getSum = 110}

但是，为什么不是 Int一个幺半群？

Answer 1

Int不是 Monoid因为有不止一个明显的Monoid Int 的实现.

instance Monoid Int where
    mempty  = 0
    mappend = (+)

instance Monoid Int where
    mempty  = 1
    mappend = (*)

newtype小号 Sum 和 Product 定义于 Data.Monoid让您轻松选择Monoid与数字一起使用的实例。