David Beazley - Lambda Calculus from the Ground Up - PyCon 2019
4 人推荐 · 跨 4 个月 · 2019–2021
中文导读
David Beazley 在 PyCon 2019 上的封神级教程。他仅用纯单参数函数，在 Python 中从零手动推导出一套完整的 Lambda 演算体系，不借助任何额外语言特性，生生造出了布尔逻辑与皮亚诺数。
为什么 HN 推它
HN 社区公认写给程序员最惊艳、最让人脑洞大开的 Lambda 演算入门教程。
「David Beazley 这堂课对 Lambda 演算的讲解堪称绝妙。」HN 网友原话：David Beazley gives a brilliant introduction to lambda calculus here
英文原摘要（HackerTube / Claude 整理）
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.
HN 上的提及
Great tutorial if you've never seen lambda calculus before, definitely brain twister.
If you want your mind to blow up I recommend watching this year's
This talk by David Beazley (Lambda Calculus from the Ground Up) might be useful
David Beazley gives a brilliant introduction to lambda calculus here