Lucas da CostaSoftware Engineer @Converge
It’s birds all the way down: A Fun Introduction to Lambda Calculus
In this talk, we’ll explore functional programming from a different angle. Instead of talking about functors, bifunctors, profunctors, monads, comonads and other trendy concepts we’ll take a step back and learn Lambda calculus itself.
How does lambda calculus express computation? How can we represent concepts such as true or false or, even better, how can we express boolean logic? How can we do arithmetic operations without using any numbers? What about loops? These are a few of the questions we’re going to answer and we’re gonna do that with small incremental steps.
During all this process we’ll also identify some unique and exquisite creatures: birds (or combinators, as some other people call them). These are patterns that will emerge naturally from the process of rediscovering lambda calculus and are guaranteed to blow everyone’s mind by their simplicity and elegance.
Rediscovering lambda calculus feels like rediscovering math and finally understanding what is behind functional programming.
We’ll finally let our Bluebird out. We won’t be too tough for him.