Thanks for the "corrections". Some of them are fine (I didn't know about the FSF license change) but with some I really don't agree.
> Incorrect, AdaCore just packages their libs with their version of the compiler, with FSF, you have to build them yourself, which is a pain. But they are working on that.
Various fairly essential libraries maintained by AdaCore are under GPL, so you could not use them for non-GPL software that is distributed. That's what I meant by "incomplete", because the FSF version was traditionally used as the free option for developing distributed, proprietary software. AdaCore has always blocked that by making essential libraries GPL instead of, say, LGPL.
If you used AdaCore it didn't matter, since either you were forced to make your program GPL anyway, or you paid for a commercial license.
> MGPL hasn't been a thing for at least 10 years now. The FSF version if GPLv3 with linking exception.
The question asked was why Ada was not more successful / popular. Your correction just adds more evidence to the licensing confusion. The problem is you can't even be certain it stays a certain way.
> The syntax is not special, it's like any other, it's defined by a grammar, as are all languages.
No, Ada has a rather special grammar in comparison to most other languages, because it specifies every construct on its own, and that is one of the reasons why it is harder to learn than other languages. Grammars for other languages are much more compact and use more shared non-literals.
> all languages are "complete" to some degree
That's not the point. Ada provides much more functionality than most other languages, for example memory alignment for embedded programming and OOP with tagged types. It's as expressive as C++ for systems programming. That's what makes it way more complex than lnaguages like, say, Scheme R5RS, C, or Go. It's easier to learn than C++ but it's much harder to learn than a related language like Pascal or Modula, for instance.
> A lot of languages re-use keywords
Whataboutism? Languages that re-use keywords are generally a bit harder to learn than those with only few constructs and no keyword reuse. You don't think so?
I've never met any Ada programmer before who thought Ada does not have a relatively long and steep learning curve. You'd be the first I've met.