227 reputation
18
bio website cs.bham.ac.uk/~udr
location Birmingham
age
visits member for 2 years, 1 month
seen Oct 22 '13 at 16:13

Professor of Computer Science, with research interests in Programming Languages and Theory of Programming.

My profiles on Theoretical Computer Science, Computer Science, Mathematics, Stackoverflow, and Superuser.

Also on Programmers, where I am shooting for a negative rating (if such a thing is possible)!


Feb
27
awarded  Caucus
Feb
24
awarded  Yearling
Nov
7
awarded  Quorum
Apr
17
comment how a pure functional programming language manage without assignment statements?
When you transform one bank account record to another, you want the customer to do the next transaction on the new record, not the old one. The "contact point" for the customer must constantly be updated to point to the current record. That is a fundamental idea of "modification". Bank account "objects" are not bank account records.
Apr
16
comment how a pure functional programming language manage without assignment statements?
The temple of free thinking. No preachers there.
Apr
16
answered Formalizing programmers errors
Apr
16
answered What's the best way to review a code before it's committed to the trunk? (SVN)
Apr
16
revised What's the best way to review a code before it's committed to the trunk? (SVN)
Added a tag
Apr
16
suggested suggested edit on What's the best way to review a code before it's committed to the trunk? (SVN)
Apr
15
answered how a pure functional programming language manage without assignment statements?
Apr
15
comment how a pure functional programming language manage without assignment statements?
This doesn't seem to address the question posed. How do you program a bank account object in a pure functional language?
Apr
12
comment How to write functionally in a web framework
@Giorgio. Glad to you see you admit that Haskell is an imperative programming language! But it doesn't solve the problem you mentioned, or what I outlined in my point 3. In other words, it is just as bad at imperative programming as the traditional languages. So, what is the point then?
Apr
12
comment How to write functionally in a web framework
@Giorgio. So, are you claiming that you can do in Clojure, or something like it, all that one can do in imperative programming? Text editors, database management systems, mail clients, mail servers, web servers, operating systems etc.?
Apr
12
awarded  Critic
Apr
12
comment How to write functionally in a web framework
@Giorgio. I agree. That was the point 3 in my answer. But I believe that this state of affairs will change over the next decade. There are various type systems and program verifiers being proposed at the moment, which we expect will give us a handle on how to control the information going into and out or procedures.
Mar
28
awarded  Editor
Mar
28
revised Why are statements in many programming languages terminated by semicolons?
Added a footnote
Mar
24
awarded  Commentator
Mar
24
comment Why is verbosity bad for a programming language?
Wow, the most brilliant answer I have seen on StackOverflow!
Mar
19
comment How to write functionally in a web framework
@RobertHarvey: Message passing is the defining characteristic of Erlang's concurrent processing model. If that is successful, you can't take that and attribute that success to functional programming. Message passing with imperative programming could be equally successful.