MonadPlus IO 不是一个单子。

Question

MonadPlus IO 实例是独特的，因为 mzero 抛出异常：

Prelude Control.Monad> mzero
*** Exception: user error (mzero)

因此，MonadPlus IO 的使用意味着它也适用于错误处理。

mzero 看起来是一个标识元素，如果其他操作没有抛出异常：

Prelude Control.Monad> mzero `mplus` return 0
0
Prelude Control.Monad> return 0 `mplus` mzero
0

但是，当两个操作都抛出异常时，它就无法运行：

Prelude Control.Monad> fail "Hello, world!" `mplus` mzero
*** Exception: user error (mzero)
Prelude Control.Monad> mzero `mplus` fail "Hello, world!"
*** Exception: user error (Hello, world!)

因此，MonadPlus IO不是一个单子。

如果用户意图出错时违反了MonadPlus法则，那它实际上是用于什么目的呢？

- Dannyu NDos

---

请注意，fail 不是用于引发错误的通用方法；它是 do 表达式和列表推导中模式匹配失败的实现细节。 - chepner

Answer 1

mplus下的IO相对于一个识别异常的等价类是一个幺半群。但这并不让人满意。另一种替代方法可能像这样:

m <|> n = m `catches`
  [ Handler $ \ ~EmptyIO -> n
  , Handler $ \ ~se@(SomeException _) ->
      n `catch` \ ~EmptyIO -> throwIO se ]

这种方法的主要问题是处理程序可能会堆积。当第一个操作失败时，我们不能只承诺执行第二个操作。更小的问题是，没有完全可靠的方法来确定异常是同步的（应该使用 throwIO 重新抛出），还是异步的（在这种情况下，我们需要使用 throwTo 和自己的线程 ID 重新抛出）。所以这样做会很混乱。

- dfeuer