Mon premier blog

A discipline of programming Edsger W. Dijkstra
Publisher: Prentice Hall, Inc.

#3 | Written by Jorge Aranda on July 12, 2011. Didn't Dijkstra suggest in "A Discipline of Programming" that each program should come with a mathematical proof of it's correctness so that it was by definition bug free? - A Discipline of Programming by Dijkstra. - Paradigms of Artificial Intelligence Programming by Norvig. Mature aspect-oriented frameworks offer a disciplined approach to programming. Monads provide a type discipline for effectful programming, mapping value types to computation types. The discipline requires considerable programming and computing knowledge, as well as visualization, so that the insights extracted from the data can be presented in a way that reinforces human cognition. So I've been doing TDD with one project, and LP with another project, and I've come to a rather amusing conclusion: Test Driven Development and Literate Programming are the same discipline. - Smalltalk 80: The Language and Its Implementation by Adele Goldberg. This captures the essence of pairing as far as I'm concerned – it is a discipline of “programming out loud”. - Uncle Bob, The Pragmatics of TDD. To Ander's defense, let me acknowledge that AspectJ has been used for the ugly. TDD is a discipline for programmers like double-entry bookkeeping is for accountants or sterile procedure is for surgeons.. Dijkstra, A Discipline of Programming, * Prentice-Hall, 3.