En dépit de ce que tu sembles croire, les monades sont plutôt bien supportées en OCaml. La différence majeures avec Haskell est que, OCaml utilisant l'évaluation stricte là où Haskell est paresseux, la définition de l'opérateur >> est essentiellement équivalente à la comoposition >|= ignore >>=.
# Correctif
Posté par Michaël (site web personnel) . En réponse au journal Compilateur et Monad Reader. Évalué à 4.
En dépit de ce que tu sembles croire, les monades sont plutôt bien supportées en OCaml. La différence majeures avec Haskell est que, OCaml utilisant l'évaluation stricte là où Haskell est paresseux, la définition de l'opérateur
>>est essentiellement équivalente à la comoposition>|= ignore >>=.