~/talk

Lambda? You Keep Using that Letter

slides:none on file

Starts from Church 1936 and traces concrete artifacts: the three core lambda constructs are variables, abstraction, application, closures are lambdas that capture free variables, and Scheme (1975) popularizes lexical closures. Demonstrates Church numerals rebuilt in JavaScript and uses them to square 7 (result 49), cites Algol 68/ Lisp/Smalltalk examples, contrasts real lambdas with Java/C#/C++ variants, and shows a Ruby fizzbuzz built from nothing using pure lambda encodings.

AI-written summary · about

  1. 0:00Start
  2. 13:25They're anonymous, little functional spies sneaking into the rest of your code.
  3. 14:05Excel is the world's most popular functional language Simon Peyton-Jones
  4. 33:45One of the most powerful mechanisms for program structuring [...] is the block and procedure concept.
~/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.