[docandrew]

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

[Throw839]

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

[_8j50]

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