Mon premier blog

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

However, accessibility is only part of the story. Art Basel also has its share of cross-disciplinary programming this year. Monads provide a type discipline for effectful programming, mapping value types to computation types. Many complex models attempt to deal with the deadlock problem—with backoff-and-retry protocols, for example—but they require strict discipline by programmers, and some introduce their own problems (e.g., livelock). What I write about computer programming applies to other fields of problem solving, such as engineering and mathematics. Stay the course—be disciplined. But it by no means suggests that in order to be a great designer you must also be a great programmer. For a long time I thought that Dijkstra's 1976 book “A Discipline of Programming” was a preview of the promised land by showing how to do this, not with assertions, but with guarded commands and weakest preconditions. A Discipline of Programming (Prentice-Hall Series in Automatic Computation) By E. Dijkstra * Publisher: Prentice Hall, Inc. On December 9, for instance, it presents a panel on “The Artist as Musician,” looking at how numerous international artists also perform music. The technology itself would be useless if human creativity is not included in its application. I think there are a large number of people in the JAP category who are there because programming is considered a discipline unto itself, with its own career path. 'The Pragmatic Programmer' isn't about a particular language or development environment, but it teach programmers how to think about programming as a discipline. 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? Instead, game design has emerged as its own distinct discipline. As long as I have been programming (about 35 years now) a common, recurring, and never ending discussion though is how to categorize programming as a discipline. Somewhere in the middle are the true software engineers, who approach computer programming in a disciplined and rigourous knowledge-based manner, similar to that of engineers in other fields. We might talk about reaching as wide an audience as possible, or about laws requiring accessible websites.