Il motivo per cui MonadState viene messo e messo?

Question

Sto leggendo il capitolo di Monade in Real World Haskell (capitolo 14). Una funzione è defined come segue:

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

Io non capisco lo scopo della get e mettere funzioni qui. Ho riscritto la funzione come segue che sembra fare la stessa cosa ed è più conciso:

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

Quindi la mia domanda è: Qual è lo scopo di ottenere e mettere in generale?

Answer 1

E 'un po' di una coincidenza che random succede ad avere esattamente lo stesso tipo di pattern firma/uso come la funzione interna del State Monade (e in effetti in questo caso si potrebbe essere ancora più conciso, anche se forse più confuso, con getRandom2 = State random).

Tuttavia, più in generale ciò non si applica, e quindi get e put sono pezzi idraulici convenienti il ​​cui significato è forse più chiaro rispetto alla scrittura della funzione interna direttamente. Aiutano anche ad astrarre dalla precisa rappresentazione usata da State - sono in realtà membri di classe della classe più generale MonadState, quindi puoi scrivere più codice polimorfico usandoli.