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 QAA17273; Tue, 1 Jul 2003 16:23:23 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 QAA16726 for ; Tue, 1 Jul 2003 16:23:21 +0200 (MET DST) Received: from plum.csi.cam.ac.uk (plum.csi.cam.ac.uk [131.111.8.3]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h61ENKf04017 for ; Tue, 1 Jul 2003 16:23:21 +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 19XM2Q-0001CN-4X; Tue, 01 Jul 2003 15:23:18 +0100 Subject: [Caml-list] Fresh Objective Caml From: Mark Shinwell To: freshml@freshml.org, types@cis.upenn.edu, caml-list@inria.fr, theory@cl.cam.ac.uk Content-Type: text/plain Message-Id: <1057069397.28071.5869.camel@pot> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.4.0 Date: 01 Jul 2003 15:23:18 +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; implemented:01 shortcomings:01 bug:01 compiler:01 semantics:01 ocaml:01 caml:01 amp:98 syntax:02 native-code:02 compile:02 o'caml:02 binding:03 complain:03 group:04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk FRESH OBJECTIVE CAML On behalf of the FreshML research project at the University of Cambridge Computer Laboratory, I am pleased to announce the availability of Fresh Objective Caml. What is it? 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. The current implementation of Fresh O'Caml is still somewhat experimental: many known optimisations have yet to be implemented and there are undoubtably other shortcomings, or even bugs in the current release. Please bear this in mind if you use it! Where to get it? The Fresh Objective Caml source is available at . It should compile on any system on which O'Caml builds. Please note that a native-code compiler is not provided at this time. The website also contains user documentation and examples, together with links to two recent research papers which are relevant to the language. Further background information on the novel features that Fresh O'Caml adds to O'Caml is at the FreshML Project web page . Where to complain? Should you have problems with Fresh O'Caml, please see . Please don't bother the Caml team with bug reports about Fresh O'Caml, even if the problem appears not to be related to the new features. Where to get help? There is a new mailing list for general discussion about Fresh O'Caml and FreshML. Please visit if you would like to join, or to browse list archives. 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