Live Lambda Calculus

YouTube·NDC Conferences

Dive into the theoretical foundation of functional programming languages with this live coding session on lambda calculus. Learn how to build a working lambda calculus interpreter from scratch using F# and the fparsec library. Explore the syntax, parsing, and evaluation of lambda expressions, and witness the power of this fundamental concept as it's applied to perform practical operations like adding numbers. Gain insights into Turing completeness and deepen your understanding of the core principles that underpin modern functional programming paradigms.