Comments on: All that ails us in programming… http://joedrumgoole.com/blog/2007/06/13/all-that-ails-us-in-programming/ Ace King, Check it Out! Mon, 01 Dec 2008 19:44:16 +0000 http://wordpress.org/?v=2.6.5 By: Joe http://joedrumgoole.com/blog/2007/06/13/all-that-ails-us-in-programming/#comment-25897 Joe Sun, 17 Jun 2007 09:06:10 +0000 http://joedrumgoole.com/blog/2007/06/13/all-that-ails-us-in-programming/#comment-25897 Hmmm, there may be a class of problems for that, but it doesn't look like a requirement for data upload or credit card processing... Hmmm, there may be a class of problems for that, but it doesn’t look like a requirement for data upload or credit card processing…

]]> By: Paul Campbell http://joedrumgoole.com/blog/2007/06/13/all-that-ails-us-in-programming/#comment-25896 Paul Campbell Sun, 17 Jun 2007 00:39:20 +0000 http://joedrumgoole.com/blog/2007/06/13/all-that-ails-us-in-programming/#comment-25896 You need to read up on some real world Modal Logic, Joe! You need to read up on some real world Modal Logic, Joe!

]]> By: Joe http://joedrumgoole.com/blog/2007/06/13/all-that-ails-us-in-programming/#comment-25888 Joe Wed, 13 Jun 2007 08:55:26 +0000 http://joedrumgoole.com/blog/2007/06/13/all-that-ails-us-in-programming/#comment-25888 Nope, its more philosophical than that. Imperative programming languages fundamentally break the link between equality as it exists in the real world and equality within programs. In the purest of pure programming languages (Lisp and othe data flow variants), there is no assignment. Each variable recieves a single value and can never be updated again. Hence these languages have provably correct programs but more importantly can be understood to be correct without doind a PHD in denotational semantics. If I have a tree in the real world, its a tree forever. If I have a tree in a program it can be a tree until I assign a car. Say what? Nope, its more philosophical than that. Imperative programming languages fundamentally break the link between equality as it exists in the real world and equality within programs.

In the purest of pure programming languages (Lisp and othe data flow variants), there is no assignment. Each variable recieves a single value and can never be updated again. Hence these languages have provably correct programs but more importantly can be understood to be correct without doind a PHD in denotational semantics.

If I have a tree in the real world, its a tree forever. If I have a tree in a program it can be a tree until I assign a car. Say what?

]]> By: Paul Browne - Technology in Plain English http://joedrumgoole.com/blog/2007/06/13/all-that-ails-us-in-programming/#comment-25887 Paul Browne - Technology in Plain English Wed, 13 Jun 2007 08:16:21 +0000 http://joedrumgoole.com/blog/2007/06/13/all-that-ails-us-in-programming/#comment-25887 Sounds like you've just been caught out by that one. Hence the difference between = and == in Java. Sounds like you’ve just been caught out by that one. Hence the difference between = and == in Java.

]]>