[darkestkhan]

Someone did persuade them to shelve Ada... and then they get into this mess ;)

They are unlucky - there is no better alternative in writing this kind of software than Ada [well, there is SPARK but it is subset of Ada with annotations].

[Cieplak]

I just learned that Ada has higher performance benchmarks than C in many cases, for whatever that is worth.

http://shootout.alioth.debian.org/u32/which-programming-lang...