--- Stefano Zacchiroli <zack@cs.unibo.it> wrote:
> What about "DEFINE" / "UNDEF"?
> 
> The first is more C-like and macro substitution is
> really a C-like construct.

Macros by textual substitution is a C concept.  Macros
by expression substitution come from Lisp; hence the
defmacro.  Lisp macros have a long and glorious
history and are still an active research topic.  A
recent paper (presented scarcely 4 weeks ago) is

  http://www.cs.utah.edu/plt/publications/macromod.pdf

It should provide enought references for the
interested scholar to assess the current state of the
art.

Noel



__________________________________________________
Do you Yahoo!?
Y! Web Hosting - Let the expert host your web site
http://webhosting.yahoo.com/
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners