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 TAA14601 for caml-red; Thu, 24 Aug 2000 19:02:15 +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 LAA07791 for ; Thu, 24 Aug 2000 11:12:34 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e7O9CRH08161; Thu, 24 Aug 2000 11:12:27 +0200 (MET DST) Received: (from fpottier@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA07677; Thu, 24 Aug 2000 11:12:26 +0200 (MET DST) Message-ID: <20000824111226.28393@pauillac.inria.fr> Date: Thu, 24 Aug 2000 11:12:26 +0200 From: Francois Pottier To: John Max Skaller Cc: caml-list@inria.fr, =?iso-8859-1?Q?Fran=E7ois_Pottier?= Subject: Re: Language Design Reply-To: Francois.Pottier@inria.fr References: <000d01c00bb8$fb3e3560$210148bf@dylan> <39A36758.E474CC1E@maxtal.com.au> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 0.89.1 In-Reply-To: <39A36758.E474CC1E@maxtal.com.au>; from John Max Skaller on Wed, Aug 23, 2000 at 03:55:36PM +1000 Sender: weis@pauillac.inria.fr John, 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? The type system would allow you to isolate those program parts which eventually involve `read' (and thus must be control-inverted during compilation) from those which do not (and thus may be compiled in direct style). I am no expert in monads, but this seems to sound rather natural. Maybe a look at how Haskell is typed and compiled may help? -- François Pottier Francois.Pottier@inria.fr http://pauillac.inria.fr/~fpottier/