5
Critique de la monade d'IO considérée comme une monade d'état opérant sur le monde
La IOmonade à Haskell est souvent décrite comme une monade d’État où l’État est le monde. Ainsi, une valeur de type IO amonad est considérée comme quelque chose comme worldState -> (a, worldState). Il y a quelque temps, j'ai lu un article (ou un article de blog / liste de …