Der Grund für MonadState bekommen und setzen?

Question

Ich lese das Kapitel Monaden in Real World Haskell (Kapitel 14). Eine Funktion ist defined wie folgt:

type RandomState a = State StdGen a 
getRandom :: Random a => RandomState a 
getRandom = 
    get >>= \gen -> 
    let (val, gen')= random gen in 
    put gen' >> 
    return val 

verstehe ich nicht wirklich den Zweck der Erfassung und Wiedergabe hier Funktionen setzen. schrieb ich die Funktion, wie folgend, die die gleiche Sache zu tun scheint und ist prägnanter:

getRandom2 :: Random a => RandomState a 
getRandom2= State $ \ s -> random s 

Also meine Frage ist: Was ist der Zweck ist und im Allgemeinen gestellt bekommen?

Answer 1

Es ist ein bisschen wie ein Zufall, dass random genau die gleiche Art Signatur/Verwendungsmuster als die innere Funktion des State Monade haben, geschieht (und in der Tat in diesem Fall könnten Sie noch mehr prägnant sein, wenn auch vielleicht noch verwirrender, mit getRandom2 = State random).

Allerdings wird das allgemein nicht gelten, und dann get und put sind bequeme Sanitär-Stücke, deren Bedeutung ist vielleicht klarer als das Schreiben der inneren Funktion direkt. Sie helfen auch, von der genauen Darstellung zu abstrahieren, die von State verwendet wird - sie sind tatsächlich Klassenmitglieder der allgemeineren Klasse MonadState, so dass Sie mehr polymorphen Code schreiben können, indem Sie sie verwenden.