Looking at articles about Ada I can't help but think that the problem with Ada is not the language as such but the excessive verbose syntax around it. I mean, I get it, it helps in corporate environments. But the syntax really does scare off people even though with a more convenient syntax the features may well catch on. And compared to some languages like Rust Ada is pretty easy to learn while going a long way towards safety. I'd even say Ada is a lot safer than Rust in many aspects, just not with regard to memory.