La raison de MonadState obtenir et mettre?

Question

Je suis en train de lire le chapitre Monades dans Real World Haskell (chapitre 14). Une fonction est defined comme suit:

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

Je ne comprends pas vraiment le but de l'obtenir et de mettre les fonctions ici. Je Réécriture de la fonction suivante qui semble faire la même chose et est plus concis:

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

Ma question est: Quel est le but de faire et de mettre en général?

Answer 1

Il est un peu une coïncidence que random arrive à avoir exactement le même modèle signature/usage type que la fonction interne du State monade (et même dans ce cas, vous pourriez être encore plus concise, si peut-être plus confuse, avec getRandom2 = State random).

Toutefois, plus généralement, cela ne s'applique pas, et puis get et put sont des pièces de plomberie commodes dont la signification est peut-être plus claire que d'écrire directement la fonction interne. Ils aident également à faire abstraction de la représentation précise utilisée par State - ils sont en fait des membres de la classe plus générale MonadState, donc vous pouvez écrire plus de code polymorphe en les utilisant.