Version française
Home     About     Download     Resources     Contact us    
Browse thread
First release of AlphaCaml
[ 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: First release of AlphaCaml

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/