I would love to get a list of language features that are "free to use with GNAT" and those that are "AdaCore license required." The last time I did Ada (admittedly, back in the 90s) it wasn't all that clear what language features I could use for free. And since we're on lists of things, a list of zero-cost abstractions and non-zero-cost abstractions would be nice.

I'm pretty sure these aren't big issues these days, but there's still a lot of people walking around thinking "I can't use Ada on this project, I don't have budget for a commercial compiler." Maybe a "project manager's introduction to Ada." I would write it myself, but I've forgotten most everything I learned about the language and it's development community.

[Apart from that... young engineers should definitely check out Ada, even if you don't eventually use it. Why it was considered a good idea to create a new language, the problems language designers were trying to solve and how developers used the language to build code that was more bullet-proof than C++ is kind of an interesting story.]

I did a student project at uni using Ada, building a compiler. it was a pretty nice language to work in, felt similar to Pascal. I don't remember particularly disliking anything. Declaring function parameters as in, or out, or in out, was cool.

I've always liked generative art and I am getting up to speed on Ada 2022, so this is a fitting article. Currently using SPARK2014/Ada 2022 for a high-integrity, safety-critical automation control software project.

There is a special place in my programming heart for Ada since it was my first professional language (back in 1996). It is interesting to see it coming back a bit. Ignoring the language, the culture and history of Ada is a great one. I was around for the fall of the Ada mandate and I got to see the play 'Lady Ada and Castle Mandate'. The community that put that on was passionate and, obviously, quirky.

I remember reading about Ada when I was young in 90s. I programmed in Pascal at that time, but was intrigued by Ada’s syntax. I had no book for it sadly and internet was out of reach for me too. Modern Ada looks a bit different too, they definitely added new features into the language. I quite like the syntax.

I never heard about Spark/Ada before. I wonder if anyone uses Spark for real world tasks, and if yes, what for?

If you’re curious about Ada or SPARK, a great place to start: https://learn.adacore.com/

Any recommendation on interesting/big projects written in Ada? Something like Linux or Apache server, perhaps?

So is there a list or statistic of how many DOD projects actually use Ada?

Would the "LLM era" revitalize languages like Ada and Haskell into mainstream?