主页 / coding / 问题 / 77518119
Accepted
F. Zer
Asked: 2023-11-21 02:19:26 +0800 CST

如何将 `liftIO` 与 State 一起使用来打印 Monad 内的值？

  • 772

我尝试State使用类liftIO中的函数在 monad 内打印MonadIO：

import Control.Monad.State
import Control.Monad.IO.Class

import Control.Applicative

facHelper :: Integer -> State Integer ()
facHelper 0 = pure ()
facHelper n = do
  currentState <- get
  liftIO $ putStrLn $ "n = " ++ show currentState
  modify (*n)
  facHelper (n-1)

factorial :: Integer -> Integer
factorial n = snd (runState (facHelper n) 1)

main :: IO ()
main = print $ factorial 6

但是，我收到错误：

没有因使用“liftIO”而产生的 (MonadIO Data.Functor.Identity.Identity) 实例

如果我查找MonadIO班级：

我看到一个例子：

MonadIO m => MonadIO (StateT s m)

并且还看到这State s是一个类型别名

type State s = StateT s Identity

所以，原则上，我可以使用liftIOwith State。哪里有问题 ？

haskell

1 个回答

  1. Best Answer

    如果你想这样做IO，那么IO必须位于你的 monad 变压器堆栈的底部。mtl这是修复问题的常用方法：

    facHelper :: (MonadIO m, MonadState Integer m) => Integer -> m ()
-- same definition as before

factorial :: Integer -> IO Integer
factorial n = execStateT (facHelper n) 1

main :: IO ()
main = factorial 6 >>= print

    这使用StateT Integer IO而不是State Integer（即StateT Integer Identity）。

    如果您对您的方法出了问题的机械细节感到好奇：

    1. 想MonadIO (State s)
    2. 拥有type State s = StateT s Identity，所以想要MonadIO (StateT s Identity)
    3. 有MonadIO m => MonadIO (StateT s m)，更具体地说有MonadIO Identity => MonadIO (StateT s Identity)，因此想要MonadIO Identity
    4. 不（并且不能明智地）拥有MonadIO Identity
    • 3

相关问题