`最终``最后蒙版异步''例外

Question

我仍然无法将头缠绕在掩蔽中，以异步异常。

最后在control.exception掩盖操作中：

a `finally` sequel =
  mask $ \restore -> do
    r <- restore a `onException` sequel
    _ <- sequel
    return r

如果最后内部不掩盖，会有什么区别？

a `finally` sequel = do
  r <- a `onException` sequel
  _ <- sequel
  return r

回答这个问题将有助于我理解蒙版异步例外。我仍然无法很好地关联它。

Answer 1

的目的最后块是sequel无论如何都将执行。如果a被异步异常中断，则执行sequel。如果续集被异常中断怎么办？或者仅在a和续集之间提出例外？然后sexel仍然需要完成运行。

因此，在运行a本身时，在a中掩盖异步异常。因此，如果在执行最后续集执行期间的任何时候， sequel 将完​​全执行。只有a可以被异常中断。