Ada

Ada is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language extended from Pascal and other languages, originally designed by a team led by of CII Honeywell Bull from 1977 to 1983.

Quotes

 * When Roman engineers built a bridge, they had to stand under it while the first legion marched across. If programmers today worked under similar ground rules, they might well find themselves getting much more interested in Ada!
 * Robert Dewar (President Ada Core Technologies); Quoted in Preben Randhol (2004) "Re: No call for Ada." coding.derkeiler.com, Februari 11, 2004.


 * C treats you like a consenting adult. Pascal treats you like a naughty child. Ada treats you like a criminal.
 * Bruce Powel Douglass (1998) quoted in: Bo I. Sandén (2011) Design of Multithreaded Software: The Entity-Life Modeling Approach.


 * For none of the evidence we have so far can inspire confidence that this language has avoided any of the problems that have afflicted other complex language projects of the past.... It is not too late! I believe that by careful pruning of the ADA language, it is still possible to select a very powerful subset that would be reliable and efficient in implementation and safe and economic in use.
 * C. A. R. Hoare (1980) "The Emperor's Old Clothes", 1980 Turing Award lecture, Communications of the ACM 24 (2), (February 1981): p. 75-83.


 * Beyond 100,000 lines of code you should probably be coding in Ada.
 * P. J. Plauger; Quoted in: Jim Showalt (1993) "Ada, Harsh Language - Computer Programming Language Forum." computer-programming-forum.com. 17 October 1993.


 * If you're masochistic enough to program in Ada, we're not going to stop you.
 * Matt Welsh; Cited in: Daniel A. Tauber (1995) The complete Linux kit. p. 132.