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].
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].
http://shootout.alioth.debian.org/u32/which-programming-lang...