haskell - MonadBaseControl 有什么用？

Question

我正在深入研究 Yesod 的 monad，并且遇到了 MonadBaseControl .
我看了一下hackage doc，然后迷路了。有人可以告诉我它试图解决的问题吗？

Answer 1

Michael Snoyman 实际上写了一个关于 monad-control 的小教程:http://www.yesodweb.com/book/monad-control

那篇文章的要点可能如下:

想象一下你有这段代码:

withMyFile :: (Handle -> IO a) -> IO a
withMyFile = withFile "test.txt" WriteMode

您可以申请 withMyFile到 Handle -> IO a 类型的任何函数并得到一个不错的 IO a值(value)。但是，如果您有 Handle -> ErrorT MyError IO a 类型的函数怎么办？并希望获得 ErrorT MyError IO a 类型的值?好吧，基本上，您将不得不修改 withMyFile为了合并很多包装/展开。 MonadBaseControl 允许您在某种程度上“提升”功能，例如 withMyFile到某些允许展开(“运行”)的单子(monad)转换器。因此，生成的代码如下所示:

useMyFileError :: (Handle -> ErrorT MyError IO ()) -> ErrorT MyError IO ()
useMyFileError func = control $ \run -> withMyFile $ run . func