Copacetic

4 Responses

Subscribe to comments with RSS.

1. Sounds like you’ve just been caught out by that one. Hence the difference between = and == in Java.

   

   Paul Browne - Technology in Plain English

   June 13, 2007 at 9:16 am

   Reply
2. 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?

   

   Joe

   June 13, 2007 at 9:55 am

   Reply
3. You need to read up on some real world Modal Logic, Joe!

   

   Paul Campbell

   June 17, 2007 at 1:39 am

   Reply
4. 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…

   

   Joe

   June 17, 2007 at 10:06 am

   Reply

Leave a Reply Cancel reply

Enter your comment here...

Fill in your details below or click an icon to log in:

Email (required) (Address never made public)

Name (required)

Website

You are commenting using your WordPress.com account. ( Log Out / Change )

You are commenting using your Twitter account. ( Log Out / Change )

You are commenting using your Facebook account. ( Log Out / Change )

You are commenting using your Google+ account. ( Log Out / Change )

Cancel

Connecting to %s

Notify me of new comments via email.