상태 모나드 및 learnyouahaskell.com

Question

나는 Learn You a Haskell's guide on the state monad을 읽고 있었지만 스택 예제가 컴파일되지 않았기 때문에 이해하는 데 어려움이있었습니다. 이 가이드에서 그는 다음 코드를 사용했습니다.

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) 

내가하는 일을 이해하고 있지만 컴파일되지 않습니다. 나는 이유를 모른다. 오류 메시지는이 사실, 내 지식입니다 "주"때문에, 나에게

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

로 정의 된 데이터 생성자를, 말이 안 가이드 "잘못"인가

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

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

, 그렇다면 어떻게 수정해야합니까?

Answer 1

의견에서 언급했듯이 State 대신 state을 사용해야합니다.

---

문제 State 독립 데이터 유형 (또는 오히려 newtype)는 아니지만, Identity 모나드에인가 StateT 변압기이다. 사실, 그것은

type State s = StateT s Indentity 

로 정의 그리고 그것은 단지 type 동의어이기 때문에, 그것은 State 생성자를 가질 수 없습니다. 그래서 Control.Monad.State은 state을 사용합니다.