From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id NAA29662 for caml-redistribution; Wed, 27 Mar 1996 13:30:47 +0100 Received: from peray.inria.fr (peray.inria.fr [128.93.8.98]) by pauillac.inria.fr (8.6.10/8.6.6) with SMTP id LAA28015 for ; Wed, 27 Mar 1996 11:46:22 +0100 Received: by peray.inria.fr; Wed, 27 Mar 1996 11:46:22 +0100 From: Daniel de Rauglaudre Message-Id: <199603271046.AA23300@peray.inria.fr> Subject: Chamau To: caml-list@pauillac.inria.fr Date: Wed, 27 Mar 1996 11:46:21 +0100 (MET) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis We are experimenting (concrete) syntactical aspects of Caml such as quotations, extensible grammars. As a first result of this experimentation, we distribute Chamau, based on the Caml Special Light compiler and interactive system. The original features of Chamau are: - a new concrete syntax, more consistent, with less ambiguities (easier to learn, if not easier to use) - quotations: to give a user-defined concrete syntax to arbitrary data structures - extensible grammars: to obtain parsers from grammar specification. These grammars are extensible, and can therefore be used in applications where the user may need to extend the syntax of the application interface (e.g. theorem provers) - the concrete syntax of Chamau is itself extensible, enabling the programmer to define his/her own programming constructs (or to redefine the whole syntax of the language!). Chamau being an experimental system, we strongly encourage you to send us your opinion, feedback and bug reports to: chamau@pauillac.inria.fr The distribution can be obtained by anonymous ftp from: host: ftp.inria.fr (192.93.2.54) directory: lang/chamau Thanks, -------------------------------------------------------------------------- Daniel de RAUGLAUDRE Projet Cristal - INRIA Rocquencourt Tel: +33 (1) 39 63 53 51 Email: daniel.de_rauglaudre@inria.fr Web: http://pauillac.inria.fr:80/~ddr/ --------------------------------------------------------------------------