From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p8FDAjAj017320 for ; Thu, 15 Sep 2011 15:10:45 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtgFAMP4cU7VuiYS/2dsb2JhbABDhAxJoHyBfHiBUwEBBQwXVhAJAg4MAiYCAiwrBogMpQWRWg6BHoQ3gREEpHM X-IronPort-AV: E=Sophos;i="4.68,387,1312149600"; d="scan'208";a="109203419" Received: from solaria.dimino.org ([213.186.38.18]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Sep 2011 15:10:40 +0200 Received: from aurora (localhost.localdomain [127.0.0.1]) by solaria.dimino.org (Postfix) with ESMTP id 35B3A80048; Thu, 15 Sep 2011 15:10:40 +0200 (CEST) Received: by aurora (Postfix, from userid 1000) id 8E2793FF79; Thu, 15 Sep 2011 15:10:41 +0200 (CEST) From: =?ISO-8859-1?Q?J=E9r=E9mie?= Dimino To: Dmitry Grebeniuk Cc: Mehdi Dogguy Date: Thu, 15 Sep 2011 15:10:41 +0200 In-Reply-To: References: <20110913183714.GA15241@yeeloong.happyleptic.org> <4E71CDB8.5020704@dogguy.org> Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.0.3- Message-ID: <1316092241.28210.14.camel@aurora> Mime-Version: 1.0 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p8FDAjAj017320 Subject: Re: [Caml-list] Lwt and exceptions 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