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

PyCon 20194 HN recommenders · 2019–2021
52K views · tutorial · evergreen · Uploaded 2019-05-02

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.

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

Watch on YouTube

4 comments from Hacker News

@ehsankia2019 · in “Python built-ins worth learning”

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. [VIDEO]

Strongly recommendsView on HN
@sethgecko2019 · in “One-lined Python”

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 [VIDEO]

Strongly recommendsView on HN
@avador2020 · in “A circuit-like notation for lambda calculus (2015)”

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

RecommendsView on HN
@globular-toast2021 · in “Lambda Calculus Examples (2009) [pdf]”

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

Strongly recommendsView on HN