haskell - 在变压器堆栈的底部插入 ErrorT

Question

运行类型为 t (ErrorT String IO) a 的代码的最佳方式是什么？来自 t IO a单子(monad)？考虑下面的代码:

module Sample where

import System.IO
import Control.Monad.Reader
import Control.Monad.Error

type Env = String

inner :: ReaderT Env (ErrorT String IO) ()
inner = do
    s <- ask
    fail s

outer :: ReaderT Env IO ()
outer = do
    env <- ask
    res <- lift $ runErrorT $ runReaderT inner env
    case res of
        Left err -> liftIO $ hPutStrLn stderr err
        Right _ -> return ()
    outer

这可行，但我一直在寻找一种更优雅的方式在我的堆栈底部插入 ErrorT。特别是我在我的项目中使用了几个不同的 monad 转换器堆栈，并且为每个堆栈编写上面的内容非常乏味。

我正在寻找类似的东西:

outer :: ReaderT Env IO ()
outer = do
    res <- (hoist runErrorT) inner
    ...

但我不能使用 hoist由于类型不匹配。

编辑:

我用 StateT在我的一些堆栈中，这就是尝试放置 ErrorT 的原因在底部而不是顶部。
outer应该是一个无限循环。

Answer 1

请注意，正如 Edward 所说，将 ErrorT在堆栈的顶部，而不是底部。

这可以改变堆栈的语义，至少对于比 ReaderT 更复杂的转换器。 - 例如如果你有 StateT在堆栈中，然后使用 ErrorT底部的更改将在出现错误时回滚，而 ErrorT在顶部，发生错误时将保留对状态的更改。

如果你真的需要它在底部，那么这样的事情会通过类型检查器:

import Control.Monad.Error
import Control.Monad.Morph
import System.IO

toOuter :: MFunctor t => t (ErrorT String IO) a -> t IO a
toOuter = hoist runErrorTWithPrint

runErrorTWithPrint :: ErrorT String IO a -> IO a
runErrorTWithPrint m = do
   res <- runErrorT m
   case res of
       Left err -> do
           hPutStrLn stderr err
           fail err
       Right v -> return v

请注意，它调用 fail当内部计算失败时，这不是您上面的代码所做的。

主要原因是要使用 hoist我们需要提供 forall a . ErrorT String IO a -> IO a 类型的函数- 即处理任何类型的值，而不仅仅是 () .这是因为取决于 monad 堆栈的其余部分可能意味着当您到达 ErrorT 时的实际返回类型。与您开始使用的返回类型不同。

在失败的情况下，我们没有 a 类型的值。所以一种选择是失败。

在您的原始代码中，您还可以无限循环 outer ，这是不行的。