[exebook]

OCaml is one of those languages that has it's own compiler backend. I might have forgotten but I think it even uses it's own linker. It is also backed by organisations, for example people from INRIA university and Jane Street company constantly improve it. I remember it also compiled small programs in a few milliseconds, something LLVM based languages cannot do.

[xavxav]

> INRIA university

tiny nit, but INRIA is not a university but rather a national network of labs.

[orlp]

LLVM needs a competitor in the generic compiler backend space. There is no pressure, nothing fanning the heat to drive improvement.

[pjmlp]

GCC and Graal come to mind.

However LLVM contribution level is at the same range as Linux kernel contributions, so it will be quite hard to change course.

[JonChesterfield]

MLIR?