为何ExceptT现拥有MonadMask实例？此前否定结论为何不再成立？

嘿，这个问题戳中了Haskell社区里一个挺有意思的演进节点——当初包括库作者在内的不少人都笃定ExceptT e m a没法合法实现MonadMask，现在exceptions库居然给出了实例，确实得好好掰扯掰扯！

先回忆当初的核心顾虑 #

当初反对给ExceptT加MonadMask实例的核心理由是：

• MonadMask的核心是掩码异步异常，保证在mask/uninterruptibleMask包裹的代码块里，异步异常会被延迟到块结束再触发，同时同步异常可以正常捕获处理。
• 大家认为ExceptT的结构（把底层m的结果包装成Left/Right）会破坏这个保证：如果底层m抛出异常，ExceptT会把它转换成Left值，但这样一来，掩码操作的语义就会被扭曲——原本应该被延迟的异步异常，会被提前转换成Left，导致掩码的安全保证失效。

现在的实例为什么合法？ #

后来社区对MonadMask的律法和ExceptT的实现方式有了更清晰的认知，才发现当初的顾虑是可以解决的：

• 律法的灵活解读：MonadMask的律法并没有要求掩码操作必须完全阻止异常的传播，而是要求掩码区域内的关键操作不会被异步异常中断。ExceptT的实例通过将底层的异步异常延迟到掩码区域结束后，再转换成Left值，完全符合这个核心要求。
• 巧妙的实现逻辑：现在的ExceptT实例中，mask操作会先调用底层m的mask，然后在回调函数里，把底层的所有异常（同步+异步）都捕获并包装成Left，但异步异常的延迟特性完全保留——也就是说，在掩码区域内，异步异常不会打断代码执行，只会在区域结束后被转换成Left抛出。
• 错误语义的兼容：ExceptT的错误语义和MonadMask的掩码语义其实可以共存——掩码保证的是操作的原子性，而ExceptT负责把底层异常统一包装成上层错误类型，两者并不冲突，反而能让上层代码更统一地处理所有错误。

总结一下 #

当初的结论不对，本质上是因为社区对MonadMask律法的边界和ExceptT的适配方式理解得不够透彻。随着更多的实践讨论，大家发现只要正确处理底层掩码操作和上层错误包装的关系，ExceptT完全可以合法实现MonadMask实例，同时满足所有律法要求。

内容的提问来源于stack exchange，提问作者Chris Martin