A Core Calculus for Documents: Or, Lambda: The Ultimate Document
summary
Presents a formal core calculus that classifies document languages into eight levels (string vs. article domains × four constructors), proves each level as an extension of the previous, and models features like references, reactivity, and reforestation with precise desugaring rules (templates desugar to System F via lists then join, not direct concat). Highlights inconsistent scoping in Ginger/Liquid/PHP, shows React vs. Solid vs. Svelte tradeoffs, and ships a reusable OCaml implementation and machine-checked results.
AI-written summary · about
chapters (8)
- 0:00Introduction
- 1:40Organization
- 6:24String Language
- 6:56Template Language
- 7:45Desugaring
- 9:16Template Part Language
- 14:40Conclusion
- 15:23Interview
related talks
53mThe Emperor Has No Docs
01h 15mDocumentation in the Era of Concepts and Ranges
35mThe practical implementation of Documentation as Code
27mProduction Language Specification - Requirements for Multiple Usages
01h 00mTheory and Models of Lambda Calculus Untyped and Typed - Part 1 of 5
29mLegalese: Software Eats Contract Drafting
55mThe Emperor Has No Docs
30mWhat we learned from writing a book about session types