Ada 2022 (adaic.org)

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.

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

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.

If you want to learn Ada / SPARK, try https://learn.adacore.com/index.html.

[dead]

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

Over the past couple of years I have been quite obsessed with VHDL. Somehow I like the strict typing much better than verilog.

I should give Ada a try and build something fun with both of them

Is SPARK available for free?