4 ms·
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 organi
by exebook 4y ago
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.
- orlp 4y agoLLVM needs a competitor in the generic compiler backend space. There is no pressure, nothing fanning the heat to drive improvement.
- pjmlp 4y agoGCC 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 4y agoMLIR?
- xavxav 4y ago> INRIA university tiny nit, but INRIA is not a university but rather a national network of labs.