Bidirectional Evaluation with Direct Manipulation
summary
Presents an algorithm that synthesizes program edits from direct output changes by retracing evaluation steps to rewrite a full ML-style functional program, and supports user-defined lenses for domain-specific updates. Implements the idea in Sketch-n-Sketch to generate and directly manipulate HTML; the tool reconciles GUI edits back into code and is evaluated on ten examples totaling ≈1,400 LOC, showing interactive edits successfully propagate into program changes.
AI-written summary · about