~/talk

Practical Lambda Calculus

on YouTube 45m
Talkat Lambda Days 2017 · 2017-02-09..02-10· [machine-learning]

speakers

name:Jonas Winje
links:none on file
name:Einar W. Høst
website:https://einarwh.no/

resources

video:https://youtu.be/G__eoJZB-zk
slides:none on file

summary

Live coding shows a small lambda interpreter running inside Emacs and builds booleans numbers and lists from raw lambda forms, implements successor predecessor and a subtraction by repeated predecessor, and composes addition and multiplication to get 100 as result. The demo uses a home‑brew Emacs Lambda machine, proves predecessor actually works by pairing technique, shows lists as foldable structures and a working filter, and notes subtraction is correct but inefficient compared to native integers.

AI-written summary · about

chapters (15)

  1. 0:00Practical Lambda intro
  2. 1:07Emacs as Lambda machine
  3. 2:12Core Lambda rules
  4. 4:24Booleans in Lambda
  5. 7:54Numbers in Lambda
  6. 9:42Successor and arithmetic
  7. 17:09Multiplication as repeated addition
  8. 20:04Subtraction challenge
  9. 21:10Pairs for predecessor
  10. 28:56Generalized subtraction
  11. 31:06Lists as extensions of numbers
  12. 37:07Folding lists/numbers
  13. 39:18Computing list and number lengths
  14. 41:27Filtering lists
  15. 44:43Q&A

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.