¿El motivo de MonadState obtener y poner?

Question

Estoy leyendo el capítulo de Mónadas en Real World Haskell (capítulo 14). Una función es defined de la siguiente manera:

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

yo no entiendo muy bien el propósito de la funciones GET y PUT aquí. Reescribí la función como continuación de lo cual parece hacer lo mismo y es más concisa:

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

Así que mi pregunta es: ¿Cuál es el propósito de conseguir y poner en general?

Answer 1

Es un poco de una coincidencia que random pasa a tener exactamente el patrón de la firma/el uso mismo tipo que la función interna de la State mónada (y de hecho en este caso podría ser aún más concisa, aunque tal vez más confuso, con getRandom2 = State random).

Sin embargo, más generalmente eso no se aplicará, y luego get y put son piezas de plomería convenientes cuyo significado es quizás más claro que escribir la función interna directamente. También ayudan a abstraer de la representación precisa utilizada por State - en realidad son miembros de clase de la clase más general MonadState, por lo que puede escribir más código polimórfico al usarlos.