~/talk

Inventing a language (placeholder title)

Talkat Lambda World 2024 · 2024-10-02..10-04· [compilers-and-language-design]
slides:none on file

A step‑by‑step recipe for a working interpreter: source code → AST → pattern‑matching evaluator written in Scala, implementing numbers, addition, booleans and if‑then‑else with short‑circuiting, local let bindings with lexical scope, an environment stack, functions-as-values stored as closures (captures defining environment) and application semantics. Demonstrates eager evaluation, runtime type errors for bad ops, fixes a closure bug that initially produced 5 instead of 4, and notes adding recursion and static type checking next.

AI-written summary · about

  1. 0:00Introduction
  2. 4:47Substitution model
  3. 9:36Number and addition
  4. 17:19Conditionals
  5. 25:16Variables
  6. 31:19Expressions
  7. 35:06Bindings
~/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.