La monade reader est un artifice Haskellien pour palier aux restrictions sur les effets de bords. Elle ne sert rigoureusement a rien en caml.
C'est on ne peut plus vrai. OCaml est multi-paradigme, ce qui est, je pense, un avantage. De plus, la persistance ne veut pas dire sans « effet de bord » mais « observationellement immuable », comme l'on fait ici MM. Cochon et Filliâtre pour le problème union-find (avec preuve en coq de la persistance de la structure de données).
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: Lien
Posté par kantien . En réponse au journal Compilateur et Monad Reader. Évalué à 2.
C'est on ne peut plus vrai. OCaml est multi-paradigme, ce qui est, je pense, un avantage. De plus, la persistance ne veut pas dire sans « effet de bord » mais « observationellement immuable », comme l'on fait ici MM. Cochon et Filliâtre pour le problème union-find (avec preuve en coq de la persistance de la structure de données).
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.