A safe typed programming language compiling with LLVM.