If you think about it, TeX is just a compiler, right? It operates on trees, and translates some input to some output. I'd love to see the equivalent of LLVM for TeX: a modern, modular implementation that implements known best practices and is easy to integrate into other environments.
Maybe this is something like what LuaTeX is trying to do? It's hard to tell from their web page.
Maybe this is something like what LuaTeX is trying to do? It's hard to tell from their web page.