[Haskell-cafe] Terra language: Lua+LLVM JIT+multi-stage metaprogramming

[oleg at okmij.org]

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.