Rust's Pursuit of Ada: A Battle in Safety-Critical Programming

Ada has dominated the safety-critical programming landscape for over four decades. Rust, in the last ten years, has attempted to compete, with varying results. This talk will explore Ada's powerful features for ensuring bug-free code, particularly its robust subtype declarations and ease of use, and compare them to Rust's capabilities, highlighting where Rust falls short and its progress in catching up.