2026-09-19
每日一句 · 技术圈趣话
“The best way to get a correct program is to make it so simple that there are obviously no bugs.”

获得正确程序的最佳方法是让它简单到明显没有错误。

— Edsger Dijkstra

背后的故事

这句话出自计算机科学先驱 Edsger Dijkstra 的演讲或文章。Dijkstra 是结构化编程和算法正确性证明的倡导者,他坚信程序的正确性不应依赖复杂的测试,而应源于设计本身的清晰与简洁。在 1970 年代,软件危机促使人们反思如何写出可靠的代码,Dijkstra 提出通过数学证明来保证程序正确,但后来他更强调“简单性”的价值——当代码足够简单时,错误会变得显而易见,无需费力调试。这句话在技术圈广为流传,因为它直击编程的本质:与其追求花哨的技巧,不如追求极致的简洁。它提醒程序员,复杂是正确性的敌人,而简单才是通往可靠性的捷径。许多现代编程实践(如 KISS 原则、最小化代码量、函数式编程的不可变性)都呼应了这一思想。

小测

1. According to Dijkstra, what is the best way to ensure a program is correct?

2. Which of the following best reflects the underlying philosophy of Dijkstra's quote?

← 回到今天的「每日一文」