MonadPlus IO 不是幺半群答案

【问题标题】：MonadPlus IO isn't a monoidMonadPlus IO 不是幺半群
【发布时间】：2019-08-11 06:26:48
【问题描述】：

实例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 法律，那么它的实际意图是什么？

【问题讨论】：

请注意，fail 并非用于引发错误的通用方法；这是do 表示法和列表推导中模式匹配失败的实现细节。

标签： haskell error-handling io monoids monadplus

【解决方案1】：

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

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

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

【讨论】：