Hi Doug:

>If Statement Considered Harmful

in our position paper you don't elaborate this.
Please can you write down what you said yesterday:

replace if by a generic function with two methods.
  - only justified when flexibility is needed
meta level conditionals
going back to lambda calculus: only function calls

-- Karl