> It's the only language I've ever used that tended to produce programs that worked correctly on their first run I've had the same experience with Rust. (Never

> It's the only language I've ever used that tended to produce programs that worked correctly on their first run I've had the same experience with Rust. (Never used Ada/Spark myself.)