Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Fresh Objective Caml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Mark Shinwell <Mark.Shinwell@c...>
Subject: Re: [Caml-list] Fresh Objective Caml
On Wed, 2003-07-02 at 14:15, Christophe Raffalli wrote:
> > Fresh O'Caml is an extension of the Objective Caml language
> > <http://caml.inria.fr/ocaml/> with facilities for correctly manipulating
> > object-language syntax involving alpha-convertible names and binding
> > operations.
> 
> Will this be part of ocaml 3.07 ?

I would be very surprised -- there's still a lot of work to do on the
freshness parts (efficiency improvements, native-code compilation,
better compilation of abstraction pattern-matching etc.).

However, I can't speak for the Caml team ;-)

Mark
-- 
Mark Shinwell -- http://mrs30.quns.cam.ac.uk/ -- Mark.Shinwell@cl.cam.ac.uk
Theory and Semantics Group, University of Cambridge Computer Laboratory

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners