La mónada del estado y learnyouahaskell.com

Question

Estaba leyendo Learn You a Haskell's guide on the state monad, pero tuve problemas para entenderlo ya que el ejemplo de la pila no pudo compilarse. En la guía, se utiliza el siguiente fragmento de código:

import Control.Monad.State 

type Stack = [Int] 

pop :: State Stack Int 
pop = State $ \(x:xs) -> (x,xs) 

push :: Int -> State Stack() 
push a = State $ \xs -> ((),a:xs) 

Si bien entiendo lo que tiene que hacer, no se compilará. No tengo ni idea de porqué. El mensaje de error es:

Stack.hs:6:7: Not in scope: data constructor `State' 

Stack.hs:9:10: Not in scope: data constructor `State' 

Esto no tiene sentido para mí, ya que "Estado" es, que yo sepa, de hecho, un constructor de datos, definida como

newtype State s a = State { runState :: s -> (a,s) } 

Es la guía "equivocado" , y si es así, ¿cómo lo arreglo?

Answer 1

Como mencioné en los comentarios, deberías usar state en lugar de State.

---

El problema es que State no es de tipo de datos independiente (o más bien newtype), pero es el StateT transformador aplicado a Identity mónada. En realidad, es definido como

type State s = StateT s Indentity 

y porque es sólo sinónimo type, no puede tener State constructor. Es por eso que Control.Monad.State usa state.