Pantograph: A Fluid and Typed Structure Editor
summary
Pantograph implements a structure editor that keeps programs as typing derivations by combining tree selection (one-hole contexts for cut/paste and reordering) with an automatic type diffs propagation system that composes as a category and yields a small-step refactoring semantics. The prototype runs in a browser, proves type preservation and confluence, and records edits that insert first-class type error boundaries when necessary. A user study with ~15 undergraduates shows text editing remains slightly faster, but students can learn Pantograph from the provided tutorial.
AI-written summary · about
chapters (7)
- 0:00Introduction to Panagramraph
- 2:22Challenges in structure editing
- 3:44Tree selection mechanism
- 6:28Automatic type refactoring
- 9:44Handling type error boundaries
- 12:28Evaluation and conclusion
- 13:22Q&A session
related talks
19mFlexible Structure Editing of Well-Typed Expressions
28mVirtual Domain Specific Languages via Embedded Projectional Editing
20mAn Approach to Generate Text-Based IDEs for Syntax Correction based on Syntax Specification
16mGradually Typing Strategies
29mA type safe calculus for generating syntax-directed editors
56mOn Type-Based Techniques for Program Manipulation
14mFast Incremental PEG Parsing
21mSeamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper)