From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id IAA16965 for caml-red; Mon, 28 Aug 2000 08:57:39 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA10393 for ; Sun, 27 Aug 2000 23:59:28 +0200 (MET DST) Received: from localhost.localdomain (brian-boitano77.zip.com.au [210.23.147.77]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e7RLxNH25589 for ; Sun, 27 Aug 2000 23:59:25 +0200 (MET DST) Received: from maxtal.com.au (IDENT:root@localhost [127.0.0.1]) by localhost.localdomain (8.9.3/8.8.7) with ESMTP id JAA10403; Mon, 28 Aug 2000 09:00:28 +1100 Message-ID: <39A98F7C.9498CD96@maxtal.com.au> Date: Mon, 28 Aug 2000 09:00:28 +1100 From: John Max Skaller X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.12-20 i686) X-Accept-Language: en MIME-Version: 1.0 To: Andreas Rossberg CC: caml-list@inria.fr Subject: Re: Language Design References: <000d01c00bb8$fb3e3560$210148bf@dylan> <39A36758.E474CC1E@maxtal.com.au> <20000824111226.28393@pauillac.inria.fr> <39A58286.81AEAF47@maxtal.com.au> <39A641CB.FB5091D9@ps.uni-sb.de> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: weis@pauillac.inria.fr Andreas Rossberg wrote: > > [Also, it turns out monads are not general enough to write > > web services in, which puts me off a bit] > > The following tutorial gives quite a comprehensive explanation of how to > integrate I/O, stateful computation, and stuff into a purely functional > language using Monads. And coincidentally it uses a web server as a > running example ;-) > > http://research.microsoft.com/Users/simonpj/#marktoberdorf Thanks. Now, somewhere linked to the Haskell web site, is an article about 'Arrows', which explains why it was found Monads are inadequate. I recall the issue was related to interfacing to CGI scripts and preserving state between interactions. Sorry I don't have URL handy :-( -- John (Max) Skaller, mailto:skaller@maxtal.com.au 10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850 checkout Vyper http://Vyper.sourceforge.net download Interscript http://Interscript.sourceforge.net