[Throw839]

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

[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.