Lambda Calculus for the Practicing Programmer
Or What is a Combinator Anyway?
Podcaster and co-host of LINUX Unplugged and TechSNAP. Background in Physics, Computer Science, and Operations. Runner, reader, and dog owner.
Are you curious about the foundations of computing? Have you ever wondered (after too many hours on Hacker News) "what's a y-combinator?".
In this presentation we will explore the nature of computation through the lens of the lambda calculus, discover how you can create numbers from nothing but functions, and finally explain what a combinator is, and why you might want one.
Topics include: - Computability and the Turing Machine - The Lambda Calculus - Church Encoding - Recursion - Fixpoints - The Y combinator - Functional Programming
Audience members will be introduced to computability theory and the lambda calculus through practical examples and demonstrations with the goal of revealing the fascinating theory underlying day-to-day programming.
- 1 h
- LinuxFest Northwest 2019
- Jupiter Broadcasting