3 ms·There’s a lot happening at compile time that less safe languages don’t do. Type checking and type erasure, etcby efnx 6y agoThere’s a lot happening at compile time that less safe languages don’t do. Type checking and type erasure, etcint_19h 6y agoAs the article explains, this all is a relatively minor contribution to compile times.pjmlp 6y agoAda/SPARK does it.verdagon 6y agoIIRC, languages like Java and Go compile quite fast, and they are even safer than Rust...