Version française
Home     About     Download     Resources     Contact us    
Browse thread
Language Design
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Francois Pottier <Francois.Pottier@i...>
Subject: Re: Language Design

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/