That's not the point, though. The point is that Ada lets us write without much extra effort: 1. Way fewer bugs in general. 2. Fewer severe bugs that become fu

That's not the point, though. The point is that Ada lets us write without much extra effort: 1. Way fewer bugs in general. 2. Fewer severe bugs that become full-on crashes or hacks. 3. Fewer bugs we cant fail-saif on and/or recover from. Not all bugs are equal by far. Just see Rust's panics vs C's donate-PC-cycles-to-hackers technique.