Haskell und aufrufende Funktion.

Question

data S = Sa Int 
type PMO = StateT Int (ErrorT String IO) 

cs :: S -> PMO() 
cs _ = do 
    mem <- get -- (*) 
    return() 

Ich habe die Zeile mit (*) markiert. Ich habe Zweifel, warum get Funktion aufgerufen werden kann. Ich weiß, dass get Funktion von State Monade ist, aber ich kann nicht sehen/begreifen, wie es bekannt ist, dass es solche Monade tatsächlich gibt. Ich sehe, dass der zurückgegebene Typ PMO ist, aber es ist nur ein zurückgegebener Wert. Was hat es mit get gemeinsam?

Hauptsächlich habe ich eine Erfahrung mit imperativer Sprache Programmierung, so macht es mir Schwierigkeiten, es zu verstehen.

Answer 1

Überprüfen Sie die Art von get out:

get :: MonadState s m => m s 

Und da in der Art Signatur von cs haben Sie den Compiler gesagt, was m ist, get wird:

get :: StateT Int (ErrorT String IO) Int 

das ist nur eine einstellige Wert, keine Funktion. Woher kommt der Wert mem? Letztendlich stammt der Wert, den get liefert, aus dem anfänglichen Zustandswert, der von runStateT (oder execStateT oder evalStateT) geliefert wird.

Wenn das immer noch geheimnisvoll scheint, empfehle ich, zu studieren, wie die staatliche Monade funktioniert.