Datenkonstruktorfehler bei der Implementierung von State Monad?

Question

Ich werde durch den Staat Monade here und ich versuche zu implementieren:

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) 

aber ich folgende Fehlermeldung bin immer:

"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)" 

Bin ich etwas Grundsätzliches hier fehlt?

Answer 1

Nein, Sie sind es nicht. Das Tutorial vereinfacht die Dinge ein wenig ( oder vielleicht ist es nur veraltet - ich gehe nicht weit genug zurück, um zu wissen, welche der beiden es veraltet ist). Control.Monad.State definiert eine Monade TransformatorStateT. Es exportiert auch eine einfachere Art Synonym entspricht dem, was das Tutorial Sie

type State s a = StateT s Identity a 

jedoch lehrt, bedeutet das, dass der Konstruktor ist nicht State, es ist StateT (und es hat eine verallgemeinerte Signatur). Zum Glück müssen Sie sich im Moment nicht allzu viele Sorgen machen.

• Für den Bau State, können Sie die state Funktion verwenden und so tun es die Unterschrift state :: (s -> (a,s)) -> State s a hat (in Wirklichkeit ist es eine allgemeine Signatur hat - was Sie über Fehlermeldungen kommen).
• Zum Dekonstruieren State verwenden Sie einfach runState :: State s a -> s -> (a,s) statt Mustervergleich.

---

Aus dem Beispiel Sie haben:

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

Warum nehmen Sie an, dass die Schnittstelle zu State a durch einen Datenkonstruktor ist, der eine Funktion s -> (a, s) umschließt? Das ist ein einfacher Weg zu implementieren State, aber Sie sind nicht diese Schnittstelle zur Verfügung gestellt. Verwenden Sie stattdessen die Konstrukte, die in Control.Monad.State bereitgestellt werden.

Eine einfache Änderung ist nur den Klein verwendet state Funktion für diesen Zweck konzipiert:

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

Alternativ kann statt mit dieser Low-Level-Ansicht des Staates arbeiten, können Sie mit ihm als Arbeits Monade durch seine put und get Funktionen:

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