[wool_gather]

That comes with its own tradeoffs: increased compile time and more effort needed to create error messages that are helpful to the user.

[GeorgeWBasic]

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

[jgwil2]

> 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]

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