“Programming languages on the whole are very much more complicated than they used to be: object orientation, inheritance, and other features are still not really being thought through from the point of view of a coherent and scientifically well-based discipline or a theory of correctness. My original postulate, which I have been pursuing as a scientist all my life, is that one uses the criteria of correctness as a means of converging on a decent programming language design—one which doesn’t set traps for its users, and ones in which the different components of the program correspond clearly to different components of its specification, so you can reason compositionally about it. […] The tools, including the compiler, have to be based on some theory of what it means to write a correct program.”

Oral history interview http://hdl.handle.net/11299/107362 by Philip L. Frana, 17 July 2002, Cambridge, England; Charles Babbage Institute, University of Minnesota.

Adopted from Wikiquote. Last update June 3, 2021. History

Help us to complete the source, original and additional information

Do you have more details about the quote "Programming languages on the whole are very much more complicated than they used to be: object orientation, inheritance…" by C. A. R. Hoare?
C. A. R. Hoare photo
C. A. R. Hoare 16
British computer scientist 1934

Related quotes

Grady Booch photo

“Structured design does not scale up well for extremely complex systems, and this method is largely inappropriate for use with object-based and object-oriented programming languages.”

Grady Booch (1955) American software engineer

Source: Object-oriented design: With Applications, (1991), p. 19

Richard Stallman photo

“My favorite programming languages are Lisp and C. However, since around 1992 I have worked mainly on free software activism, which means I am too busy to do much programming. Around 2008 I stopped doing programming projects.”

Richard Stallman (1953) American software freedom activist, short story writer and computer programmer, founder of the GNU project

How I do my computing (2006) http://stallman.org/stallman-computing.html
2000s

Grady Booch photo
Alan Kay photo

“… greatest single programming language ever designed. (About the Lisp programming language.)”

Alan Kay (1940) computer scientist

2003. Daddy, Are We There Yet? A Discussion with Alan Kay http://www.openp2p.com/pub/a/p2p/2003/04/03/alan_kay.html
2000s

Seymour Papert photo
Larry Wall photo

“If you want to program in C, program in C. It's a nice language. I use it occasionally…”

Larry Wall (1954) American computer programmer and author, creator of Perl

[7577@jpl-devvax.JPL.NASA.GOV, 1990]
Usenet postings, 1990

Larry Wall photo

“If there's a particular problem that Perl is trying to solve, it's the basic fact that all programming languages suck. Sort of the concept of original sin, applied to programming languages.”

Larry Wall (1954) American computer programmer and author, creator of Perl

Public Talks, The State of the Onion 10

Related topics