From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA16877; Wed, 2 Jul 2003 15:25:11 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 PAA16536 for ; Wed, 2 Jul 2003 15:25:10 +0200 (MET DST) Received: from plum.csi.cam.ac.uk (plum.csi.cam.ac.uk [131.111.8.3]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h62DP9f13836 for ; Wed, 2 Jul 2003 15:25:09 +0200 (MET DST) Received: from c60.al.cl.cam.ac.uk ([128.232.15.229]) by plum.csi.cam.ac.uk with esmtp (Exim 4.20) id 19Xhbh-00057y-3I; Wed, 02 Jul 2003 14:25:09 +0100 Subject: Re: [Caml-list] Fresh Objective Caml From: Mark Shinwell To: Christophe Raffalli Cc: caml-list@inria.fr In-Reply-To: <3F02DAFF.1000309@univ-savoie.fr> References: <1057069397.28071.5869.camel@pot> <3F02DAFF.1000309@univ-savoie.fr> Content-Type: text/plain Message-Id: <1057152308.30851.31.camel@pot> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.4.0 Date: 02 Jul 2003 14:25:09 +0100 Content-Transfer-Encoding: 7bit X-Cam-ScannerAdmin: mail-scanner-support@ucs.cam.ac.uk X-Cam-AntiVirus: Not scanned X-Spam: no; 0.00; caml-list:01 raffalli:01 3.07:01 freshness:99 abstraction:01 christophe:01 semantics:01 ocaml:01 caml:01 syntax:02 native-code:02 o'caml:02 binding:03 wrote:03 group:04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, 2003-07-02 at 14:15, Christophe Raffalli wrote: > > Fresh O'Caml is an extension of the Objective Caml language > > 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