Why Lambda In The First Place?
I’m beginning (after an involuntary detour some years ago) with the most excellent Haskell Programming From First Principles. I know this is going to be good because they’ve already explained why lambda at all.
Up to this point, I’ve thought of Lambda Calculus as …
- A way to discourage initiates from continuing on the path
- An unessential plaything for math-heads
(If you’re wondering what is lamba calculus, check out Stanford’s introduction to lambda calculus and then pretend you don’t agree with my assessment.)
Turns out lambda is useful. It helps you see which problems are solvable.
Ah, okay then. There is at least reason for the pain. So, lambda we shall.