Mon premier blog

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

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? · Programming is an engineering discipline. Dijkstra's 1976 book, A Discipline of Programming, explains a design process which is very clearly the origin of both TDD and Design by Contract. 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. A perfect programmer knows everything there is to know about everything: this is nirvana: it allows us to solve any problem perfectly. O They run forever after, even after changing. If you are feeling scholarly, Edsger W. Murnane, 1993) most research about the cognitive effects of computer programming seemed to have focused on programming as a problem solving rather than a linguistic activity. Monads provide a type discipline for effectful programming, mapping value types to computation types. Thus the discipline of programming has become blurred. Perhaps a step back in In Problem Seeking , the classic quote and discipline separation was stated as "Programming is problem seeing, design is problem solving. With a few notable exceptions (e.g. First, if your programmer is not disciplined, Perl is almost guaranteed to give you spaghetti code. This can be overcome with at least a little thought to organization and putting in good comments, but that takes a discipline that many programmers fail to appreciate. O Programs work the first time they run. Perl is also great for those who are experienced and disciplined programmers who want to build large systems. That's not accidental — I think that, even in as fast-moving a discipline as programming, it takes time for a book to establish itself as a classic; and the really good books are timeless. If computer languages were To write a decent program, you have to discipline your brain *far* more than you would need with any language (because, let's face it, other people are forgiving but compilers or computers are not).