[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: Rather, DSSLs increase modularity, productivity

> One of my biggest reservations about the newest crop of Handley-Milner
> fpls is that they make useful metaprogramming almost impossible.

Oh, I disagree strongly with this assertion.  For example:

1)  The C-- project is a compiler that converts "C--" input code to appropriate assembly
instructions, and it's coded in Ocaml.  (http://www.cminusminus.org)

2)  ML (Meta-Language) was originally designed as a metaprogramming tool.

3)  Please read through Graydon Hoare's "One-Day-Compilers" talk (http://www.venge.net/graydon/talks/mkc/html/mgp00001.html) on implementing program generating programs in OCaml.  (Subtitle:  "How I learned to stop worrying and love static metaprogramming."