Início / coding / Perguntas / 77518119
Accepted
F. Zer
Asked: 2023-11-21 02:19:26 +0800 CST

Como posso usar `liftIO` com State para imprimir valores dentro dessa Mônada?

  • 772

Estou tentando imprimir dentro da Statemônada usando liftIOa função da MonadIOclasse:

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

No entanto, recebo o erro:

Nenhuma instância para (MonadIO Data.Functor.Identity.Identity) resultante do uso de 'liftIO'

Se eu procurar MonadIOclasse:

Eu vejo uma instância:

MonadIO m => MonadIO (StateT s m)

E veja também que State sé um alias de tipo

type State s = StateT s Identity

Então, em princípio, eu poderia usar liftIOwith State. Onde está o problema ?

haskell

1 respostas

  1. Best Answer

    Se você quiser fazer isso IO, IOdeverá estar na parte inferior da pilha do transformador mônada. Esta é a mtlmaneira usual de consertar as coisas:

    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

    Isso usa StateT Integer IOem vez de State Integer(ou seja StateT Integer Identity).

    Se você está curioso sobre os detalhes mecânicos do que deu errado com sua abordagem:

    1. quererMonadIO (State s)
    2. tenho type State s = StateT s Identity, portanto queroMonadIO (StateT s Identity)
    3. tenho MonadIO m => MonadIO (StateT s m), e mais especificamente tenho MonadIO Identity => MonadIO (StateT s Identity), portanto queroMonadIO Identity
    4. não (e não pode sensatamente) terMonadIO Identity
    • 3

relate perguntas