Although one can argue that llvm doesn't provide enough information to implement a great jit, all aot compilers are moving towards using it. Actually, all seri

Although one can argue that llvm doesn't provide enough information to implement a great jit, all aot compilers are moving towards using it. Actually, all serious Common Lisp implementations, for example, do incremental AOT compilation these days, and none of them is ever going to "move towards using LLVM". In the broader landscape of programming language implementations, as far as IR generality is concerned, LLVM is actually not significantly better than Java bytecode, and for many languages, trying to use it would probably generate more problems than actually using it would solve.