In case anyone is curious about an overview of the actual changes: http://www.ada-auth.org/standards/22over/html/Ov22-TOC.html

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.

[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.

Ada doesn't even have a "++" operator to increment a number. SAD!