Sun Mar 10 14:05:19 EDT 2013
Tension between functional (e.g. Haskell) and function-level (FP) programming
The thing is: higher order functions are replaced by operators.
Operators are special.
The question is: is this good or bad?
Good for what, bad for what?
Good: keeps the algebra simple
Bad: seems to need more ad-hoc structure
Does the ad-hoc structure keep the algebra simple?
I.e. structure that is not too powerful to escape into turing-completeness?