Posté par neil .
En réponse au journal Rust en version 0.12.
Évalué à 3.
Dernière modification le 16 octobre 2014 à 01:17.
Je croyais qu’il fallait éviter les monades si possible pour faire du « pur »...
Non, on évite les effets de bords, qui sont implémentés par des monades spécifiques telles que IO ou ST (pour le parallélisme). Pour ces cas particuliers justement les monades permettent de cacher les effets de bord dans une structure algébrique tout à pure, la monade. On peut difficilement faire plus pur que la monade (->) r qui correspond aux fonctions !
Il n’y a pas d’avantages autre qu’humoristique ou algébrique à utiliser les définitions que j’ai donné. Ça reste tout de même instantanément compréhensible par les Haskellers, de part leur esprit tordu. Dans le même genre on peut lire The evolution of a Haskell programmer.
[^] # Re: simple ?
Posté par neil . En réponse au journal Rust en version 0.12. Évalué à 3. Dernière modification le 16 octobre 2014 à 01:17.
Non, on évite les effets de bords, qui sont implémentés par des monades spécifiques telles que
IOou ST (pour le parallélisme). Pour ces cas particuliers justement les monades permettent de cacher les effets de bord dans une structure algébrique tout à pure, la monade. On peut difficilement faire plus pur que la monade(->) rqui correspond aux fonctions !Il n’y a pas d’avantages autre qu’humoristique ou algébrique à utiliser les définitions que j’ai donné. Ça reste tout de même instantanément compréhensible par les Haskellers, de part leur esprit tordu. Dans le même genre on peut lire The evolution of a Haskell programmer.