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)
- F# eXchange 2023: Conference Livestream (Online Conference on 7th - 8th March 2023)
- Scala Days 2023 (Online Conference on 1st - 30th December 2023)
- Source Talks: On Scala #4 (Online Meetup on 30th January 2023)
- Haskell In Person: Bring Your Project, Get help with your code & socialise (in Berlin on 1st February 2023)
- Teaching Haskell...To High Schoolers! (SkillsCast recorded in December 2022)
- Teaching Haskell...To High Schoolers! (SkillsCast recorded in December 2022)
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.