[dead]
People hate verbose syntax until it's about a language they like. Then suddenly "the IDE takes care of that so I don't care" or some such. With Ada in particular, if you gave up safer programming for 40 years because "ew nasty I have to type begin...end..." then I don't want to hear about your pet safe language.
The SPARK subset of Ada comes pretty close to enforcing purity of Ada functions, although it still permits them to read globals. [0]
It's not just an oversight. The core of the Ada language was designed deliberately. [1]
[0] https://learn.adacore.com/courses/intro-to-spark/chapters/01...
[1] https://en.wikipedia.org/wiki/Ada_(programming_language)#His...