GhosT078

I write or test new Ada code everyday at my current $DAYJOB. I used to do the same at an avionics company. I expect this to continue since its the best language for this type of software (high-integrity, embedded, real-time, in use for decades).

I have used SPARK Ada myself on a couple of security focused products developed by a team of 10-15 developers. For a long time, SPARK has made use of formal methods practical for real-world software. Effective use does require learning and commitment, but that's within reason. By the time the projects were nearly done, I felt that the SPARK findings always turned out to be correct and that any remaining problems could be traced back to poor or missing requirements, not the implementation itself.

All editions of Ada have supported operator overloading, complex (rich) type definitions, generics, built-in concurrency, etc. It was overlooked for too long but seems to be getting attention and increased usage again.

Ada provides ways of restricting the features you use (i.e., specify your own subset if you like). Its also scalable from very small to very large projects.