My understanding is that most of Adas users are maintaining legacy systems.
It'd be great to hear from anyone who is using it today by choice.
If you want to learn Ada / SPARK, try https://learn.adacore.com/index.html.
Ada doesn't even have a "++" operator to increment a number. SAD!
[dead]
Many ada devs probably write software i would not be comfortable writing. Its always been a kind of place i dont want to be part of.
In case anyone is curious about an overview of the actual changes: http://www.ada-auth.org/standards/22over/html/Ov22-TOC.html