Hello , http://terralang.org/ it doesn't have any relation to haskell, but i found it very interesting - it employs LLVM JIT to produce efficient code on the fly and can save it to .o files, and it's tightly integrated with Lua as metaprogramming language 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 -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com