Lightning talk - Expressions of Change
summary
Claims that program modifications as primitives make change first-class and that composition laws exist for those modifications. Implementation is a custom editor prototype exists that records structured edit operations instead of text, plus early work on languages that consume those edits. Empirical result: a meaningful relationship appears between program structure and modification structure, and combining edits with static analysis yields incremental analysis tells you when to recheck — prototype works but is early.
AI-written summary · about
chapters (4)
related talks
27mLightning Talks - Day 1
01h 04mWhat FP Can Learn From Formal Languages: Towards a Leaner Syntax
26mThe Power Of Small Abstractions
46mCompilers, User Interfaces & the Rest of Us
12mWhoa, pictures! A visual history of visual programming languages!
52mAll the Languages Together
15mYou Might Not Need Classes
21mEverything as Compiler