5
Crítica da mônada de IO sendo vista como uma mônada estadual operando no mundo
A IOmônada em Haskell é frequentemente explicada como uma mônada estadual, onde o estado é o mundo. Portanto, um valor do tipo IO amonad é visto como algo parecido worldState -> (a, worldState). Algum tempo atrás, li um artigo (ou um post na lista de emails / blogs) que criticou …