What an ugly, unintuitive language. Are there any benefits to Ada over something like c++?
Built-in concurrency and concurrent-safe data passing: https://learn.adacore.com/courses/intro-to-ada/chapters/task...
Design-by-contract programming: https://learn.adacore.com/courses/intro-to-ada/chapters/cont...
Provably safe programs if you use the SPARK subset of Ada: https://learn.adacore.com/courses/intro-to-spark/chapters/03...
Not compared to Haskell.
Ada has a strong type system for an Algol-derived language, but the world has moved on without it in terms of type systems in general.
But you've got your mind made up already -- please just enjoy your tools, and let others enjoy theirs.
It makes much use of English words rather than symbols. This was intended to maximise readability, even at the expense of writeability. It's not the way most modern languages are designed, sure enough, and I'm not sure it really improves readability, but I'm not especially au fait with Ada so I'm not the best person to comment.
> unintuitive
This strikes me as another way of saying unfamiliar. Forth and Haskell are also extremely unintuitive languages, to people who don't know them, but that's not really much of a criticism.
And then you compare it to C++???