Fusing Direct Manipulations into Functional Programs

on YouTube ↗18m

" summary

Operation-based system defines a small composable Delta language DM for edits (add, mul, tuple, list-fold, constraints) and a fusion algorithm that propagates those deltas into functional code, applying changes to constants when possible or embedding them at proper positions otherwise. Proof guarantees the updated program re-executes to produce the manipulated output. Implementation is an SVG editor called FuseDM with GUI actions (deltas come from UI choices, not inference) and 14 nontrivial benchmark examples.

AI-written summary · about

" chapters (13)

1. 0:00Direct manipulation in functional programs
2. 1:10Bidirectional live programming
3. 3:01Limitations of operation systems
4. 4:06Delta language for manipulations
5. 6:39SVG editor prototype demo
6. 7:00Delta language constructs
7. 9:26Constraint introduction in Delta
8. 10:53Fusion algorithm for embedding
9. 13:27Benchmark examples and effectiveness
10. 14:09Summary of contributions
11. 14:32Q&A on fusion guarantees
12. 16:21Q&A on Delta inference
13. 17:48Q&A on fusion correctness