@phnt the C++ites always have copes about this, too. "it's the optimizer thats why its slow" -> then why does the debug build still take 20 minutes? "it must be the type safety" -> ocaml runs circles around you.

i think with rust one of the devs said its something about MIR is basically bombarded with a lot of crap and they just never task anyone to optimize it because they seriously don't see anything wrong with unnecessarily slow build times.

the hard typing folk are slowly starting to embrace algebraic effects, too, which replace a whole lot of control flow cancer which used to be stuck to "use CPS and pray" with "actually it now follows this very simply explained, predictable pattern" which just happens to let you also make assertions like "that function path can never 'panic'" because it just literally never passes panic as an effect

rust has given us the proof of concept of the borrow checker and that is its sole contribution to mankind. :blobcatbox: we should steal it and set it free