💾 Archived View for dcreager.net › papers › Hoare1981.gmi captured on 2024-08-25 at 00:28:07. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2023-07-22)

-=-=-=-=-=-=-

Hoare1981

Charles Antony Richard Hoare. 1981. The emperor's old clothes. Commun. ACM 24, 2 (Feb. 1981), 75–83.

Remarkable PDF

Original PDF

DOI

Notes

Tony Hoare’s Turing Award lecture.

Choice quotes

Programmers are always surrounded by complexity; we cannot avoid it. Our applications are complex because we are ambitious to use our computers in ever more sophisticated ways. Programming is complex because of the large number of conflicting objectives for each of our programming projects. If our basic tool, the language in which we design and code our programs, is also complicated, the language itself becomes part of the problem rather than part of its solution.
I conclude that there are two ways of construting a software design: One way is to make it so simple that there are _obviously_ no deficiencies and the other way is to make it so complicated that there are no _obvious_ deficiencies.