haskell - LiftIO 的目的是什么？

Question

我有以下来自互联网的代码片段:

calculateLength :: LengthMonad Int
calculateLength = do
  -- all the IO operations have to be lifted to the IO monad in the monad stack
  liftIO $ putStrLn "Please enter a non-empty string: "
  s <- liftIO getLine
  if null s
    then throwError "The string was empty!"
    else return $ length s

并且无法理解，为什么作者使用 liftIO ?
liftIO的目的是什么?

定义如下:

class (Monad m) => MonadIO m where
    -- | Lift a computation from the 'IO' monad.
    liftIO :: IO a -> m a  

是否可以解除 IO a -> [a] ?它看起来像自然的转变。

Answer 1

IO像 getLine, putStrLn "..." 这样的操作只能在 IO 内工作单子(monad)。在任何其他 monad 中使用它们会触发类型错误。

尽管如此，还是有很多单子(monad) M根据 IO 定义(例如 StateT Int IO ，显然你的 LengthMonad 也是如此)，因此他们允许 IO要转换为 M 的操作-actions，并照此执行。

但是，我们需要对每个 M 进行转换。 :

convertIOintoM1 :: IO a -> M1 a 
convertIOintoM2 :: IO a -> M2 a
convertIOintoM3 :: IO a -> M3 a
...

由于这很麻烦，库定义了一个类型类 MonadIO有这样的转换功能，所以上面的所有功能都可以命名为 liftIO反而。

在实践中， liftIO每次想要运行时使用 IO另一个 monad 中的 Action ，只要这样的 monad 允许。