Re:A Few More Reasons Rust Compiles Slowly
by efnx on Monday June 29, 2020 @10:43PM
(#23685948)
There’s a lot happening at compile time that less safe languages don’t do. Type checking and type erasure, etc
[ Parent
| on HN ]
As the article explains, this all is a relatively minor contribution to compile times.
Ada/SPARK does it.