Syntactic Completions with Material Obligations
summary
Prototype editor tall tylr completes malformed code by inserting abstract syntactic placeholders rather than enumerating text repairs, using a tile-based pipeline with a molder that turns tokens into tiles and a meldr melding calculus that generalizes operator-precedence parsing. The system guarantees sound, total parsing and favors repairs by minimizing obligations, enabling linear-time, bounded-context parsing with incremental parallelism. A user study reports both positive usability signals and frequent direct rejection of obligation-based repairs, pointing to usable benefits but important UX challenges.
AI-written summary · about
chapters (6)
- 0:00Syntactic completions intro
- 2:31Tall Tyler editor demo
- 6:14Tile-based parsing
- 7:37Error handling with obligations
- 12:12Token parsing molding
- 13:57Conclusion
related talks
18mRestructuring Structure Editing
16mThe Modular Imperative: Rethinking LLMs for Maintainable Software
20mAn Approach to Generate Text-Based IDEs for Syntax Correction based on Syntax Specification
27mDefault Disambiguation in Online Parsers
19mtylr, a tiny tile-based structure editor
38mType System Foundations for Super-Charged Semantic Code Search
26mDesign a new language in JS: from zero to autocomplete
27mParsing, Compiling, and Static Metaprogramming