相关疑难解决方法(0)

我读了为什么MonadPlus而不是Monad + Monoid？我理解理论上的差异,但我无法弄清楚实际的差异,因为对于List来说它看起来是一样的.

mappend [1] [2] == [1] <|> [2]

是.也许有不同的实现

mappend (Just "a") (Just "b") /= (Just "a") <|> (Just "b")

但我们可以像Alternative一样实现Maybe Monoid

instance Monoid (Maybe a) where
  Nothing `mappend` m = m
  m `mappend` _ = m

那么,有人可以展示代码示例,它解释了Alternative和Monoid之间的实际区别吗？

问题不是为什么MonadPlus而不是Monad + Monoid？