Dijkstra's 1978 Critique of Natural Language Programming
October 22, 2026
Edsger Dijkstra argues against replacing formal symbolic programming with natural language, noting that the perceived shortcoming of machine strictness is actually a necessity for avoiding errors. He contends that high-level languages were developed to mitigate clerical errors, not to eliminate the requirement for precise instruction.
HOW THIS AFFECTS YOU
●
researcherConsider this historical perspective when evaluating the trade-offs between LLM-based code generation and formal verification.