Haskell:lift 与 liftIO

Question

在什么情况下应该使用liftIO？当我使用 ErrorT String IO 时，lift 函数会将 IO 操作提升到 ErrorT 中，因此 liftIO看来是多余的。

Answer 1

lift 始终从“上一层”提升。如果您需要从第二层提升，则需要 lift 。电梯等等。

另一方面，liftIO 始终从 IO 层提升(如果存在，则始终位于堆栈的底部)。因此，如果您有 2 层以上的 monad，您将会欣赏 liftIO。

比较以下 lambda 中的参数类型:

type T = ReaderT Int (WriterT String IO) Bool

> :t \x -> (lift x :: T)
\x -> (lift x :: T) :: WriterT String IO Bool -> T

> :t \x -> (liftIO x :: T)
\x -> (liftIO x :: T) :: IO Bool -> T