"the [Rust] compiler is the strictest I’ve ever had the pleasure to work with" Safety = Freedom https://llogiq.github.io/2015/10/05/safety-freedom.html