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并不是一个monoid。

如果用户意图出错时它违反了MonadPlus法律，那么它的真正目的是什么？

Answer 1

IO下的

mplus是相对于等价类的一个等分物，用于标识异常。没那么令人满意。一种替代方法可能如下所示：

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

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

MonadPlus IO不是一个半身像

1 个答案: