From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 72501BCAF for ; Mon, 13 Jun 2005 10:09:27 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j5D89RIv010737 for ; Mon, 13 Jun 2005 10:09:27 +0200 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 KAA16380 for ; Mon, 13 Jun 2005 10:09:26 +0200 (MET DST) Received: from yquem.inria.fr (yquem.inria.fr [128.93.8.37]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j5D89QKx010734 for ; Mon, 13 Jun 2005 10:09:26 +0200 Received: by yquem.inria.fr (Postfix, from userid 18965) id 7621ABCAF; Mon, 13 Jun 2005 10:09:26 +0200 (CEST) Date: Mon, 13 Jun 2005 10:09:26 +0200 From: Francois Pottier To: caml-list@inria.fr Subject: First release of AlphaCaml Message-ID: <20050613080926.GA23051@yquem.inria.fr> Reply-To: Francois.Pottier@inria.fr Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.3.28i X-Miltered: at nez-perce with ID 42AD3F37.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42AD3F36.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; compilation:01 compilers:01 compiler:01 runtime:01 publis:01 findlib:01 warmly:01 tar:01 cristal:01 cristal:01 short:01 pottier:01 pottier:01 expressive:01 data:02 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: Dear all, It is my pleasure to announce the initial release of alphaCaml. AlphaCaml is a tool that turns a so-called ``binding specification'' into an Objective Caml compilation unit. A binding specification resembles an algebraic data type declaration, but also includes information about names and binding. AlphaCaml is meant to help writers of interpreters, compilers, or other programs-that-manipulate-programs deal with alpha-conversion in a safe and concise style. In short, alphaCaml can be understood as an alternative to Fresh Objective Caml. It takes the form of a code generator and a library, instead of a set of patches to the compiler and runtime system. Furthermore, its binding specification language is more expressive. An introduction to alphaCaml is available at http://cristal.inria.fr/~fpottier/publis/fpottier-alphacaml.pdf The source code is available at http://cristal.inria.fr/~fpottier/alphaCaml/alphaCaml-20050609.tar.gz Installation requires Objective Caml and findlib. A GODI package is also available now. This is an initial release. There is a lot of progress to be made. Comments, suggestions, and criticism are welcome. Authors of systems (written in Objective Caml) where alpha-conversion is an issue are warmly encouraged to try it out and to make their impressions public! Best regards, -- François Pottier Francois.Pottier@inria.fr http://pauillac.inria.fr/~fpottier/