MetaOCaml is a compiled, type-safe, multi-stage programming language. It is a multi-stage extension of the OCaml programming language, and provides three basic constructs called Brackets, Escape, and Run for building, combining, and executing future-stage computations, respectively. Learn more about MetaOCaml at [[http://www.metaocaml.org][www.metaocaml.org]]