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 LAA02976 for caml-red; Fri, 25 Aug 2000 11:28:08 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA18813 for ; Thu, 24 Aug 2000 22:15:28 +0200 (MET DST) Received: from localhost.localdomain (starvin-marvin47.zip.com.au [210.23.142.47]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e7OKF9b28443; Thu, 24 Aug 2000 22:15:21 +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 GAA28185; Fri, 25 Aug 2000 06:16:06 +1000 Message-ID: <39A58286.81AEAF47@maxtal.com.au> Date: Fri, 25 Aug 2000 06:16:06 +1000 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: Francois.Pottier@inria.fr CC: caml-list@inria.fr Subject: Re: Language Design References: <000d01c00bb8$fb3e3560$210148bf@dylan> <39A36758.E474CC1E@maxtal.com.au> <20000824111226.28393@pauillac.inria.fr> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: weis@pauillac.inria.fr Francois Pottier wrote: > On Wed, Aug 23, 2000 at 03:55:36PM +1000, John Max Skaller wrote: > > What is _actually_ required is a seamless way to integrate > > stateful and function code: > > Have you thought about employing some kind of monadic type system? Yes, but I don't know enough to do it at the moment. [Also, it turns out monads are not general enough to write web services in, which puts me off a bit] -- 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