There are two ways to write error-free programs; only the third one works.
About this quote
- What does it mean?
- Theoretical ways to write error-free code often fail in practice.
- In plain terms
- Only one real method works for writing bug-free programs.
- What can you take from it?
- Rely on practical testing rather than theoretical perfection.
Where it applies
Putting it to work
Questions to consider
- How do you ensure your code is reliable?
- What prevents you from writing perfect code?
Another view
Some theoretical approaches like formal verification do work in niche cases.
More from Alan Perlis
The computing field is always in need of new cliches.
Permalink to quote #24 You can measure a programmer's perspective by noting his attitude on the continuing vitality of FORTRAN.
Permalink to quote #26 The best book on programming for the layman is 'Alice in Wonderland'; but that's because it's the best book on anything for the layman.
Permalink to quote #23
Related quotes
Best by test.
Bobby FischerBobby Fischer quote #2 Beware of bugs in the above code; I have only proved it correct, not tried it.
Donald KnuthDonald Knuth quote #2 Sun Microsystems had the right people to make Java into a first-class language, and I believe it was the Sun marketing people who rushed the thing out before i…
Alan KayAlan Kay quote #11