[verdagon]

I'm not sure safety has anything to do with long compile times, can you enlighten?

[efnx]

There’s a lot happening at compile time that less safe languages don’t do. Type checking and type erasure, etc

[int_19h]

As the article explains, this all is a relatively minor contribution to compile times.

[pjmlp]

Ada/SPARK does it.

[verdagon]

IIRC, languages like Java and Go compile quite fast, and they are even safer than Rust...