haskell - 为什么Shake不为Action提供MonadMask实例？

Question

我想使用 temporary package与 Shake ，但这需要 Action 有一个 MonadMask 实例，而该实例缺失。为什么Shake不提供这样的实例？

Answer 1

有两个原因:

• 这是不可能的，因为 Action 基于延续 monad，并且您无法为延续 monad 实现 MonadMask。请参阅this blog post粗略地解释为什么这是不可能的。
• 这是不可取的，因为这样您就可以根据依赖的规则是成功还是失败来做出选择，而在 Shake 中，您依赖的规则的失败总是会导致您失败。

但是，Shake 确实提供了 actionFinally 和 actionOnException 作为构建 block ，它们是 MonadMask 中可用函数的受限变体。此外，Shake 还提供了 withTempFile 和 withTempDir，它们执行一些与 temporary 包相同的操作。最后，如果您完全处于 IO 中，那么 liftIO 和 bracket 就可以正常工作。