Live Lambda Calculus

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.

Introduction
Syntax
Parsing
Parsec
Expressions
Parse
Evaluation
Reduce
Test
Turing completeness