Dynamic Caml is a high-level run-time code generation library for
Implementation is based on an abstract polymorphic type
All types within dynamically generated code are statically checked at programs compile time.
Current release allows dynamic generation of almost all OCaml consructs. Nice syntax extensions facilitate ease of use of the library.
See documentation for more details.
SoftwareCurrent version is 0.2.1.
The library is known to compile on Linux/Unix and on Windows with CygWin port of Objective Caml. You will need Caml 3.04, CamlP4 3.04, awk and GNU make to compile it.
AuthorsDmitry Lomov (firstname.lastname@example.org)
Anton Moskal (email@example.com)