A discipline of programming by Edsger W. Dijkstra

A discipline of programming



Download eBook




A discipline of programming Edsger W. Dijkstra ebook
Publisher: Prentice Hall, Inc.
Page: 232
Format: djvu
ISBN: 013215871X, 9780132158718


It's important to remember that all programming languages require a discipline that most of us don't have. Testing an application, particularly if it is user facing as most of my 3 decades of work has been, is a discipline all by itself. For further details, see Dijkstra's book "A Discipline of Programming". Dijkstra introduces a function called wp for "weakest precondition". People often use this as an example to show that Dijkstra was excessively doctrinaire, and out of touch with the reality of programming, but usually it's because they don't know what his argument was. I wrote a response, explaining where Dijkstra was coming from, and I am very happy with how it . Immutable Object Programming (IOP) enforces a discipline on the programmer, much like structured programming enforced a discipline on programmers. Likewise programming is nothing like testing either. We might talk about reaching as wide an audience as possible, or about laws requiring accessible websites. A disciplined and knowledgeable programmer, who is strong in implementation, but lacks creativity and drive. From the video one can understand that Edsger preferred Mozart's style of programming. However, accessibility is only part of the story. And experienced individual who could create great solutions; however inconsistent and unpredictable. Programming languages are intolerant of error in grammar or syntax. That's the person who wants to learn programming as a discipline, and to get more out of his computer, or perhaps because he likes a challenge (but not the hobbyist's kind). Not just programming, but Mozart style of doing things.