Get the latest tech news
Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution?
Lambda Calculus is a fascinating idea, but it's not immediately obvious. In this post, I'm trying to understand and explain the basic terms used in Lambda Calculus.
I have a creeping desire to understand Lambda Calculus because it's a powerful and elegant tool and an inspiring idea underlying many functional languages and idioms. You get the idea: λ (Greek letter lambda) means creating a new function. Functions in Lambda Calculus are actually single-argument, and all the multiple arguments examples are curried.
Or read this on Hacker News
