Plays with YouTube's privacy-enhanced embed

David Beazley - Lambda Calculus from the Ground Up - PyCon 2019

Name: David Beazley - Lambda Calculus from the Ground Up - PyCon 2019
Description: David Beazley's PyCon 2019 tutorial derives the lambda calculus from the ground up in Python, using only single-argument functions. He builds booleans, numerals and more with no other language features.

PyCon 2019 Tutorials intermediate

Open on YouTube First HN thread

4 HN users recommended this tutorial in 4 different months between 2019 and 2021.

2007–2026

3 strong recommendations 1 recommendation HackerTube score 5.5

HN calls it a brilliant, mind-bending introduction to lambda calculus for programmers.

David Beazley's PyCon 2019 tutorial derives the lambda calculus from the ground up in Python, using only single-argument functions. He builds booleans, numerals and more with no other language features.

Pull quote: “David Beazley gives a brilliant introduction to lambda calculus here” (HN, 2021)

Also tagged: lambda calculus, python, functional programming, david beazley, pycon

What Hacker News said

4 labeled comments from the HN archive; up to 20 are kept per video, favoring different commenters. Each one links back to the original thread.

Strongly recommends ehsankia May 2019 under Python built-ins worth learning

Derives lambda calculus from scratch in Python

Just watched his PyCon 2019 where he derives lambda calculus from scratch in Python, and he had similar shell magics going on there too. Great tutorial if you've never seen lambda calculus before, definitely brain twister. [this video]

View on Hacker News

Strongly recommends sethgecko August 2019 under One-lined Python

Mind-blowing lambda calculus PyCon talk

If you want your mind to blow up I recommend watching this year's "Lambda Calculus from the Ground Up" PyCon talk by the wizard David Beazley [this video]

View on Hacker News

Strongly recommends globular-toast June 2021 under Lambda Calculus Examples (2009) [pdf]

Brilliant intro to lambda calculus for Python users

For someone fluent in Python, David Beazley gives a brilliant introduction to lambda calculus here: [this video] This is great fun to follow through on a rainy afternoon!

View on Hacker News

Recommends avador August 2020 under A circuit-like notation for lambda calculus (2015)

Explains booleans and numerals in lambda calculus

This talk by David Beazley (Lambda Calculus from the Ground Up) might be useful: [this video] Zero and one come in around the 35 minute mark (after booleans).

View on Hacker News