Le jeudi 15 septembre 2011 à 15:22 +0300, Dmitry Grebeniuk a écrit : > It uses "bind" and "return", but I'm very unsure > whether the code can be called "monadic IO", > since lwt itself does not respect the monad laws.
What monadic laws lwt does not respect ? -- Jérémie -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
