[bawolff]

I disagree about all computer languages being about lambda calculus. Lambda calculus is fundamentally about functions being first class objects (as opposed to say sets, if we are taking a math prespective). Well that has become a more popular language feature, plenty of languages do not support this. C being an obvious answer.

I'm not a haskell programmer, but I agree with you on the math aspect being largely over excited bloggers. Sometimes i feel like half the haskell articles posted here are taking some simple concept, wrapping it up in heavy duty mathematical machinery, not using the machinery for anything, and then proclaiming profound insight. The other week there was a haskell article on hn literally talking about how great it is that strings form a semigroup under concatenation, because i guess nobody realized you could concat strings before that.