Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Daniel de Rauglaudre <ddr@p...>
Subject: Chamau

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:

The distribution can be obtained by anonymous ftp from:

        host: (
        directory:  lang/chamau



 Projet Cristal - INRIA Rocquencourt
 Tel: +33 (1) 39 63 53 51