Bulat Ziganshin wrote:

It has predecessors like template haskell, metalua, julia, ocamlp4, but all them lack either convenient multi-stage meta-programming, or efficency of low-level code You have omitted MetaOCaml. One may argue about the convenience of MetaOCaml but one has to acknowledge that it is the typed and hygienic staged language. (The TExp subset of the new TH is typed and hygienic, but it does not permit any effects in the generator, which are often necessary). As to low level, it turns out relatively straightforward to interface MetaOCaml with LLVM, so that OCaml becomes a very powerful, typed and hygienic ``macro language'' for LLVM.