I was under the impression that Ada is significantly safer than C++, particularly with the 2012 standard that adds support for contracts, and that it mainly suffers from a lack of tooling.
The elephant in the room there is the importance of tooling. Consider, explosions and explosive chemicals are themselves ridiculously dangerous and for the most part to be avoided. However, with the proper tooling and use, one can use them to accomplish some fairly amazing things.
That is, many of the "safer" languages try to get by with disallowing explosive and dangerous constructs. With some of the more advanced tooling that is available and good discipline, one can still do some amazing things with them.
That is, many of the "safer" languages try to get by with disallowing explosive and dangerous constructs. With some of the more advanced tooling that is available and good discipline, one can still do some amazing things with them.