I have to add that verbosity serves a purpose here. Programming in the large often means those systems are long-living and the teams programming and maintaining them are huge, heterogeneous (in skill), and changing (esp. if it's a system running for decades). The verbosity comes from making many things pretty explicit and clear.

Ada is not made for explorative hacking or intellectual workouts but for reliable implementation. And it's not that those who criticize its verbosity program in APL themselves. ;)