状態モナドと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) 

：ガイドでは、彼は次のコードを使用していました。なぜ私は考えていない。エラーメッセージは次のとおりです。「国家」であるので、

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

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

これは、私には意味がありません、私の知る限り、実際に

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

として定義されたデータコンストラクタは、「間違っている」ガイドですもしそうなら、私はそれをどのように修正するのですか？

Answer 1

コメントに記載されているとおり、Stateの代わりにstateを使用する必要があります。

---

問題はStateスタンドアロンデータ型（またはむしろnewtype）ではないということであるが、それはIdentityモナドに適用StateT変圧器です。実際には、

type State s = StateT s Indentity 

として定義されていますし、それだけでtype同義語だから、それはStateコンストラクタを持つことができません。そのため、Control.Monad.Stateはstateを使用しています。