gpt4 book ai didi

haskell - MonadPlus IO 不是幺半群

转载 作者:行者123 更新时间:2023-12-04 23:35:51 29 4
gpt4 key购买 nike

实例 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

但是当两个 Action 都抛出时它不会:

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 法律,那么它的实际用途是什么?

最佳答案

mplus 下的

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

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

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

关于haskell - MonadPlus IO 不是幺半群,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/57447800/

29 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com