Cascade: a Meta-Language for Change, Cause and Effect
summary
Cascade is a compact meta-language that expresses changes, cause‑and‑effect and runtime migrations and generates interpreters from a 300-line compiler. It produces edit‑script transactions and preserves causal chains so “why” questions are answerable. A Delta runtime executes those bidirectional transformations, integrates with godo, and runs the generated DSLs live with immediate feedback; validation covers three DSL case studies (state machines, live QL questionnaire, machinations game economy) and demos run interactively though no large‑scale perf numbers are given.
AI-written summary · about
chapters (13)
- 0:00Live programming intro
- 3:09Live programming game demo
- 7:21Live programming challenges
- 10:20Problem statement
- 12:07Cascade meta-language
- 15:19Cascade code example
- 18:56Case studies & future work
- 20:05Q&A: Scalability
- 21:52Q&A: Triggers & effects
- 23:16Q&A: Edit scripts
- 24:40Q&A: Invalid states
- 25:41Q&A: Front ends
- 28:32Closing
related talks
43mMutating the immutable
43mEvident Code, at Scale
28mWhat You See Is What It Does: A Structural Pattern for Legible Software
27mLet's Bring System Dynamics Back to CS!
01h 02mFishbowl @ Functional Conf
47mThe linguist programmer
01h 06mOn-The-Fly Verification via Incremental, Interactive Abstract Interpretation wi...
01h 34mDeclarative Thinking, Declarative Practice