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

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

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

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