"It is easier to write an incorrect program than understand a correct one"
About this Quote
Programming flatters our sense of control right up until it doesn’t. Perlis’s line is a neatly barbed reminder that code is not literature you dash off for applause; it’s machinery you have to trust under pressure. Anyone can get a program to run, especially if “run” means producing something that looks plausible on a good day. The harder, rarer achievement is a system whose behavior you can predict across weird inputs, future requirements, and the inevitable hands of other programmers.
The intent is partly pedagogical, partly moral: Perlis is warning against confusing output with understanding. Incorrect programs are easy because they ride on ambiguity. They can be held together by assumptions you didn’t document, edge cases you didn’t imagine, and dependencies you didn’t notice. A correct program, by contrast, demands a model of the world sharp enough to survive contact with reality. Understanding it means understanding that model: invariants, preconditions, failure modes, and the reasons it won’t quietly betray you at 2 a.m.
The subtext lands even harder in Perlis’s era. As computing moved from academic puzzle boxes to institutional infrastructure, the cost of misunderstanding rose. “Correctness” isn’t just elegance; it’s accountability in a medium that resists casual reading. The quip also subtly critiques a culture that prizes shipping over comprehension, clever hacks over legible reasoning. It’s an argument for clarity as a first-class feature, and for humility: if you can’t explain why it works, you probably don’t know whether it does.
The intent is partly pedagogical, partly moral: Perlis is warning against confusing output with understanding. Incorrect programs are easy because they ride on ambiguity. They can be held together by assumptions you didn’t document, edge cases you didn’t imagine, and dependencies you didn’t notice. A correct program, by contrast, demands a model of the world sharp enough to survive contact with reality. Understanding it means understanding that model: invariants, preconditions, failure modes, and the reasons it won’t quietly betray you at 2 a.m.
The subtext lands even harder in Perlis’s era. As computing moved from academic puzzle boxes to institutional infrastructure, the cost of misunderstanding rose. “Correctness” isn’t just elegance; it’s accountability in a medium that resists casual reading. The quip also subtly critiques a culture that prizes shipping over comprehension, clever hacks over legible reasoning. It’s an argument for clarity as a first-class feature, and for humility: if you can’t explain why it works, you probably don’t know whether it does.
Quote Details
| Topic | Coding & Programming |
|---|
More Quotes by Alan
Add to List
