Hacker News Reader

Runtime checks can be disabled in Ada. They’re useful for debug builds though!

But that elimites purpose for Ada. Rust has better type system to deal with this.

I thought both Ada and rust have good compile time checks for memory safety that eliminates the need for run time checks?