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
status of some big "important" features?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-01-03 (10:46)
From: William Chesters <williamc@p...>
Subject: Re: status of some big "important" features?
Daniel de Rauglaudre writes:
 > Camlp4 allows to make syntax extensions. We could imagine something to
 > make typing extensions and code generating extensions. But I don't
 > know how to do that, and even if it is possible in a simple way.
 > Do other caml-list readers have an opinion about that?

The actual source code for the compiler as it is now is pretty decent, 
remarkably so given its maturity, and it's hard to imagine any useful
"semantic extension" mechanism being much simpler than just hacking the
relevant bits of camlc.

My 2p,