#lambdacalculus#davidbeazley#churchencoding
13K subscribers • 2 videos on Hallway
Intermediate. Assumes working knowledge.
51K views7 years ago4 recommendations
Computer scienceProgramming languagesComputation and complexityFunctional programmingPython
David Beazley derives the lambda calculus from scratch in Python, building booleans, numbers, and arithmetic using only single-argument functions.
"Speaker: David Beazley These days, programming style guides are all the rage. However, what if your style guide was so restrictive that it only gave you single-argument functions and nothing else? No modules, no classes, no control flow, no data structures, and not even any primitives like integers or regular expressions. Just functions. Could you actually program anything at all? Surprisingly, the answer is yes. In this tutorial, you'll learn how as you work through a ground-up derivation of the lambda calculus in Python. You will learn nothing practically useful in this tutorial. No packaging. No tools. No libraries. No deployment. No magic Python programming techniques. And certainly learn nothing you would ever want to apply to a real project. You will, on the other hand, have a lot of fun, be completely amazed, and learn some foundational computer science that is a jumping off point for further explorations of functional programming, type theory, programming languages, and more. Slides can be found at: speakerdeck.com/pycon2019 and github.com/PyCon/2019-slides"What people say. Highly recommended as a mind-bending and entertaining introduction to lambda calculus and functional programming fundamentals.
ehsankiaon Hacker News • Recommends
On “Python built-ins worth learning”
sethgeckoon Hacker News • Recommends
On “One-lined Python”
globular-toaston Hacker News • Recommends
On “Lambda Calculus Examples (2009) [pdf]”
avadoron Hacker News • Recommends
On “A circuit-like notation for lambda calculus (2015)”
u/dooygoyin r/haskell • Mentions
On “'Learn You a Haskell' or 'Real World Haskell' for a beginner to functional programming?”
u/orthocresolin r/haskell • Mentions
On “As a programmer who’s explicitly only dealt with Python and is now attempting to learn Haskell, this video is one of the most beautifully presented videos explaining the use of Lamba Calculus in settings where languages such as JavaScript would be implemented.”