Any time I look at Ada I end up at AdaCore and remember how ridiculously expensive it is to work with Ada. It's almost like all the free and/or open source Ada stuff was designed to drive you to AdaCore to spend spend spend. This lack of a high quality full set of compilers and tools always reminds me why I never play around with Ada.
Here's a detailed guide on Ada's safety-supporting features. Should help commenters wanting specifics.
<a href="https://news.ycombinator.com/edit?id=9672204" rel="nofollow">https://news.ycombinator.com/edit?id=9672204</a>
I didn't see anything about "Why Ada" other than hearing that it was useful for high-assurance RTOS, and that it has a Pascal-like syntax. Did I miss it?