托尼·霍爾
程序驗證的先驅(qū)
The only way to learn a new programming language is by writing programs in it.
學習一種新編程語言的唯一方法是用它編寫程序。
The most important single aspect of software development is to be clear about what you are trying to build.
軟件開發(fā)中最重要的一個方面是清楚你要構(gòu)建什么。
A programming language is low level when its programs require attention to the irrelevant.
當一種編程語言的程序需要關(guān)注無關(guān)的細節(jié)時，它就是低級的。
The best way to predict the future is to invent it.
預測未來的最好方法就是發(fā)明它。
The most important property of a program is whether it accomplishes the intention of its user.
程序最重要的屬性是它是否實現(xiàn)了用戶的意圖。
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
抽象的目的不是模糊，而是創(chuàng)建一個新的語義層次，在這個層次上可以絕對精確。
Inside every large program is a small program struggling to get out.
在每個大型程序內(nèi)部，都有一個試圖掙脫出來的小程序。
Simplicity is prerequisite for reliability.
簡潔是可靠性的前提。
The price of reliability is the pursuit of the utmost simplicity.
There are two ways of constructing 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.
有兩種構(gòu)建軟件設計的方式：一種方式是讓它簡單到明顯沒有缺陷，另一種方式是讓它復雜到?jīng)]有明顯的缺陷。