English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Where are the AST specs?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-03-19 (10:20)
From: Nicolas Pouillard <nicolas.pouillard@g...>
Subject: Re: [Caml-list] Where are the AST specs?
On 3/19/07, Loup Vaillant <loup.vaillant@gmail.com> wrote:
> 2007/3/19, Olivier Andrieu <oandrieu@nerim.net>:
> > On 3/18/07, Loup Vaillant <loup.vaillant@gmail.com> wrote:
> > > Hello everyone,
> > >
> > > I am currently working on giving Ocaml a Lisp syntax.
> >
> > In case you haven't noticed it, there used to be a lispish syntax for
> > ocaml written with camlp4.
> > It's in the camlp4 tree :
> > http://camlcvs.inria.fr/cgi-bin/cvsweb/ocaml/camlp4/unmaintained/scheme
> Actually, I haven't noticed it. At first glance this syntax is close
> to my standards. However, Do you know if it has macros? Clean macros
> remain my main goal. My holy grail is the power (and ease of use) of
> Common Lisp macros.

I think, it don't has macros, but Daniel de Rauglaudre would give a
more accurate answer.

BTW camlp4 provides a simple macro system through a dynamic syntax
extension. It features DEFINE, IFDEF, INDEF, and INCLUDE.

However camlp4 is itself a powerful way to manage the OCaml syntax as
AST through it's quotation system.

Have you a simple specification of what you want for OCaml (or some examples).

Nicolas Pouillard