Introduction to Lambda Calculus
Please log in to watch this conference skillscast.
In this talk Maciek will aim to present the basics of lambda calculus: its syntax, reduction rules and properties, and how the calculus can be used to model programs that we write in higher-level languages. If time permits Maciek will briefly mention a couple of more advanced topics such as Curry-Howard correspondence, combinatory logic and advanced type system features.
The talk falls primarily into the ""Functional programming theory/practice"" category. It will have very few references to Scala -- mostly illustrating how certain features of Scala have their roots in lambda calculus.
YOU MAY ALSO LIKE:
- Introduction to Lambda Calculus (SkillsCast recorded in November 2014)
- Haskell eXchange 2022: Novice Track (Online Conference on 7th December 2022)
- Haskell eXchange 2022: Online Conference (Online Conference on 8th - 9th December 2022)
- Team Topology - Enablement mode (Online Meetup on 6th October 2022)
- LJC: Monitoring Digital Experience to Determine Feature Effectiveness (Online Meetup on 11th October 2022)
- A Conceptual Introduction to Nix for Haskellers (SkillsCast recorded in November 2021)
- Haskell in the Enterprise: A Report from in the Belly of the Whale (SkillsCast recorded in November 2021)
Thank you to our sponsors and partners
Platinum
Gold
Silver
Bronze
Introduction to Lambda Calculus
Maciek Makowski
Maciek has spent the last ten years developing software for banks. He is interested in techniques that can advance software development practice from craft to engineering.