Powód pobierania i wkładania MonadState?

Question

Czytam rozdział Monady w świecie rzeczywistym Haskell (rozdział 14). Funkcja jest defined następująco:

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

ja naprawdę nie rozumiem cel zdobyć i umieścić tutaj funkcje. przepisałem funkcję w następujący sposób, który wydaje się robić to samo i jest bardziej zwięzły:

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

Więc moje pytanie brzmi: Co jest celem uzyskania i umieścić w ogóle?

Answer 1

To trochę zbieg okoliczności, że random zdarza się mieć dokładnie ten sam typ podpis/Wykorzystanie wzorca jako wewnętrznej funkcji State monady (i rzeczywiście w tym przypadku można być jeszcze bardziej zwięzły, czy może bardziej skomplikowane, z getRandom2 = State random).

Jednak, ogólnie rzecz biorąc, nie będą one miały zastosowania, a następnie get i put są wygodnymi elementami hydraulicznymi, których znaczenie jest być może wyraźniejsze niż bezpośrednie zapisywanie funkcji wewnętrznej. Pomagają również w abstrakcji z dokładnej reprezentacji używanej przez State - są to w rzeczywistości członkowie klasy bardziej ogólnej klasy MonadState, dzięki czemu można napisać bardziej polimorficzny kod za pomocą ich.