Главная
Study mode:
on
1
Introduction
2
Syntax
3
Parsing
4
Parsec
5
Expressions
6
Parse
7
Evaluation
8
Reduce
9
Test
10
Turing completeness
Description:
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.

Live Lambda Calculus

NDC Conferences
Add to list