On: Clearing up Myths about Ada

[erik_seaberg]

Don’t a lot of those systems allocate and free slots in large arrays, which is almost as risky?

[seabird → erik_seaberg]

Ada arrays are actual types, they're bounds-checked, the language provides some niceties for indexing, and Ravenscar and SPARK are available. You're going to have less issues with Ada in that case than you are with just about any other language out there.