编程方法
A method of programming
Edsger Wybe Dijkstra、W. H. J. Feijen · 初版 1988 年
2人推荐
2位读者提及
4次提及
一本通过对程序状态的数学特征进行逐步转换来启发思考的计算机编程入门指南。
Hacker News 上怎么说
正在加载完整评论……
A method of programming
Edsger Wybe Dijkstra、W. H. J. Feijen · 初版 1988 年
一本通过对程序状态的数学特征进行逐步转换来启发思考的计算机编程入门指南。
正在加载完整评论……
>任何想在程序推导（deriving programs）这个课题上深入学习的人都应该读读另外两部；* EWD316 - 《A Short Introduction to the Art of Programming》。* 《A Method of Programming》——与 W.H.J.Feijen 合著的书。不知何故，这本书尽管是作为课程教材编写的，却并不怎么出名。草稿版见此：https://www.softwareresearch.net/fileadmin/src/docs/teaching...
>Anyone that wants to learn more on the subject of deriving programs should read Two more; * EWD316 - A Short Introduction to the Art of Programming. * A Method of Programming - Book co-authored with W.H.J.Feijen. For some reason, this is not well known though it was written as a course textbook. Draft version here: https://www.softwareresearch.net/fileadmin/src/docs/teaching...
那你肯定得去搞一本他（与 Feijen 合著）的书《A Method of Programming》。它是专门为课堂教学设计的，针对的是“入门级编程课程”。
You must surely then get his (with Feijen) book A Method of Programming. It is designed for classroom use targeted at a "introductory programming curriculum".
……抛开 Dijkstra 的傲慢和锋芒毕露的表达风格不谈，他确实教了些很有用的东西。如果你看看他和同事讲解如何做到这点的书之一（比如 Dijkstra 和 Feijen 写的《A Method of Programming》），就会很清楚地发现，程序员自己理应想出形式化规范（formal specification）。书中很大一部分都在讲如何编写规范。而形式化……
…get past Dijkstra's arrogance and abrasive presentation, he actually has some useful things to teach. If you look at one of the books where he and his colleagues teach how to do this (for example, A Method of Programming, by Dijkstra and Fiejen) it's pretty clear that the programmer him(her)self is supposed to come up with the formal specification. Much of the book is about how to write the specifications. The formal…
……是至关重要的，哪怕我们无法不折不扣地遵照他的方法。关键在于提升我们自己的思维方式，养成更好、更高效的工作习惯。你可能也会想去看看 Dijkstra 的《A Method of Programming》以及 Wirth 的《Systematic Programming: An Introduction》。
…is essential even if we cannot follow his methods to the letter. The key is to improve our own thinking and adopt better and more productive work-habits. You might also want to checkout Dijkstra's A Method of Programming and Wirth's Systematic Programming: An Introduction.