Tue Mar 2 13:20:34 CET 2010

MetaOCaml -> BER MetaOCaml

From [1]:

    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!

[1] http://groups.google.com/group/fa.caml/browse_thread/thread/098357ea26046912#