~/talk

Live Lambda Calculus

on YouTube 01h 01m
Talkat NDC Oslo 2017 · 2017-06-14..06-16· [functional-programming, compilers-and-language-design]

speakers

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

resources

video:https://youtu.be/oaU1aiBuBRE
slides:none on file

summary

Implements a lambda‑calculus interpreter from scratch in F# and fparsec, parsing into an AST, writing an unparser, and reducing via a substitution-based evaluator (no environment lookups). Builds a simple REPL and stepper that prints each reduction step, and encodes numbers as Church numerals to implement addition; live demo shows the addition producing five applications (five f’s). Includes a hosted Suave web demo for trying expressions.

AI-written summary · about

chapters (10)

  1. 0:00Introduction
  2. 4:50Syntax
  3. 12:20Parsing
  4. 14:05Parsec
  5. 17:03Expressions
  6. 25:27Parse
  7. 36:52Evaluation
  8. 40:52Reduce
  9. 46:02Test
  10. 51:01Turing completeness

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.