Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Live Lambda Calculus

NDC Conferences via YouTube

Overview

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.

Syllabus

Introduction
Syntax
Parsing
Parsec
Expressions
Parse
Evaluation
Reduce
Test
Turing completeness

Taught by

NDC Conferences

Reviews

Start your review of Live Lambda Calculus

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.