That comes with its own tradeoffs: increased compile time and more effort needed...

GeorgeWBasic · on Jan 27, 2021

Ocaml is probably the fastest compiling language I've ever used.

jgwil2 · on Jan 27, 2021

> more effort needed to create error messages that are helpful to the user.

Well, sure, but that's a tradeoff for the developers of the language to consider. As a user, there are already plenty of statically typed languages to choose from with many person-hours put into just that.

erik_seaberg · on Jan 27, 2021

I want to offload as much work as we possibly can to the compiler. My brain will always be millions of times slower.