Re:A Few More Reasons Rust Compiles Slowly
by verdagon on Monday June 29, 2020 @06:29PM
(#23684133)
I'm not sure safety has anything to do with long compile times, can you enlighten?
[ Parent
| on HN ]
There’s a lot happening at compile time that less safe languages don’t do. Type checking and type erasure, etc
As the article explains, this all is a relatively minor contribution to compile times.
Ada/SPARK does it.