我正在寻找最常见的方式来做：
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
但是,如果没有默认值,则无法挽救异常并继续计算.
