4 ms·Runtime checks can be disabled in Ada. They’re useful for debug builds though!by docandrew 3y agoRuntime checks can be disabled in Ada. They’re useful for debug builds though!Throw839 3y agoBut that elimites purpose for Ada. Rust has better type system to deal with this._8j50 3y agoI thought both Ada and rust have good compile time checks for memory safety that eliminates the need for run time checks?