(via Ken Rawlings)
A tutorial on implementing DSLs, using O'caml, syntax extension, and a C backend.
The approach is based on using Camlp4 for embedding the DSL in O'caml, and producing C source code using the author's Cquot package (for C code quasiquoting).
A similar thing can be done using Scheme.
Posted to DSL by Ehud Lamm on 8/12/02; 2:46:33 AM