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规则，那么它的实际目的是什么？

Answer 1

IO在mplus下是一个相对于标识异常的等价类的幺半群。没那么满意。另一种方法可能如下所示：

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

这种方法的主要问题是处理程序可以堆叠起来。当第一个操作失败时，我们不能只执行第二个操作。一个较小的问题是，没有完全可靠的方法来确定异常是同步的(应该使用throwIO重新抛出)还是异步的(在这种情况下，我们需要使用自己的线程ID使用throwTo重新抛出异常)。所以这条路就是一团糟。