Hacker News Reader

If I remember correctly, Ada was much slower compared to C. Stuff like boundary checks on arrays has a cost.

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?