Tue Mar 2 13:20:34 CET 2010
MetaOCaml -> BER MetaOCaml
BER MetaOCaml is a conservative extension of OCaml with the
primitive type of code values, and three basic multi-stage
expression forms: Brackets, Escape, and Run. BER MetaOCaml
implements the type system based on environment classifiers to
type-check expressions that produce and run code values. BER
MetaOCaml makes no other changes to the OCaml language, remaining
fully compatible with the underlying OCaml system. BER MetaOCaml
is current with the byte-code OCaml release 3.11.2.
Looks like maturity is near!