20+ years of some of the best researchers in the world?

It's been absolutely pummeled into stability by thousands of industrial use cases?

It's also like, STUPID fast. Try finding a large ocaml project, any will do, and see how fast it compiles.

Someone with more time and know-how could give a more technical testimony as to just exactly how badass ocaml actually is.

It is fast while having the best type inference capacities I ever saw in a programming language: you can spend years in a static language without ever writting a type (my one exception is deserialization which makes sense).