状態モナドを実装するときのデータコンストラクタエラー？

Question

私は状態モナドhereを通じてつもりだと私が実装しようとしている：

import Control.Monad.Reader 
import Control.Monad.Writer 
import Control.Monad.State 

type Stack = [Int] 

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

は、しかし、私は次のエラーを取得しています：

"Data constructor not in scope: 
    State :: ([t0] -> (t0, [t0])) -> State Stack Int 
Perhaps you meant one of these: 
    ‘StateT’ (imported from Control.Monad.State), 
    variable ‘state’ (imported from Control.Monad.State)" 

私はここで基本的な何かが足りないのですか？

Answer 1

んが、あなたがいないではありません。このチュートリアルではちょっと単純化しています（、それともちょうど古くなったのでしょうか？私は2つのうちどちらが古くなっているかを知るには十分遠くはありません）。 Control.Monad.Stateは、モナド変換器StateTを定義します。また、コンストラクタがStateではないことを意味している。しかし、チュートリアルでは、あなたの

type State s a = StateT s Identity a 

を教えているものと同等の単純型シノニムをエクスポートし、それがStateTである（そして、それは一般的な署名を持っています）。ありがたいことに、あなたはそれについてあまり心配する必要はありません。 Stateを構築するための

• 、あなたはstate機能を使用して、それが（実際に、それはより一般的な署名がある - あなたがエラーメッセージに遭遇する）署名state :: (s -> (a,s)) -> State s aを持っているふりをすることができます。
• Stateを解体するには、パターンマッチングの代わりにrunState :: State s a -> s -> (a,s)を使用してください。例から

---

あなたが与えた：それはチュートリアルが言うことですので

import Control.Monad.Reader 
import Control.Monad.Writer 
import Control.Monad.State 

type Stack = [Int] 

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

Answer 2

State aへのインターフェイスが、関数をラップするデータコンストラクタを介しているとします。s -> (a, s)？これは簡単な方法です州を実装しますが、あなたはそのインターフェイスを提供していません。代わりに、Control.Monad.Stateで提供される構成を使用してください。

一つの簡単な変更だけで、この目的のために設計された小文字state機能を使用することです。また、代わりに国家のこの低レベルのビューでの作業のため、あなたは同じように操作することができ

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

をそのputとget機能を通じてモナド：

pop :: State Stack Int 
pop = do 
    (x : xs) <- get 
    put xs 
    return x