哪个monad在Haskell中用于聚合执行一系列语句时可能发生的异常？

发布时间：2020-12-14 05:00:05 所属栏目：百科来源：网络整理

导读：我正在寻找最常见的方式来做： x :: IO ((),[SomeException])x = do void y void z 聚合y和z可能抛出的异常并将它们作为x类型的一部分返回. 有一个着名的monad /教程吗？解决方法所以这里的重要问题是奥古斯都 – “如果你抛出异常,那么a的价值是什么？”

我正在寻找最常见的方式来做：

x :: IO ((),[SomeException])
x = do
  void y
  void z

聚合y和z可能抛出的异常并将它们作为x类型的一部分返回.

有一个着名的monad /教程吗？

解决方法

所以这里的重要问题是奥古斯都 – “如果你抛出异常,那么a的价值是什么？”

如果你有a和b的默认值,你可以使用try捕获异常并使用WriterT聚合它们：

x :: IO (C,[SomeException])
x = runWriterT $do 
  a <- rescue defaultA y 
  b <- rescue defaultB z 
  return $f a b

rescue :: a -> IO a -> WriterT [SomeException] IO a
rescue a m = do
  res <- lift $try m
  case res of
    Left e -> do
      tell [e]
      return a
    Right a' -> return a'

data A
data B
data C

y :: IO A
y = undefined

defaultA :: A
defaultA = undefined

z :: IO B
z = undefined

defaultB :: B
defaultB = undefined

f :: A -> B -> C
f = undefined

但是,如果没有默认值,则无法挽救异常并继续计算.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!