An Approach to Generate Text-Based IDEs for Syntax Correction based on Syntax Specification
summary
A method that transforms full grammar into a prefix grammar to compute completions up to the cursor and a handwritten C service for a tiny Standard ML subset actually generates candidates and returns them to Emacs via Emacs+C over TCP/IP. The demo shows five candidates shown on Tab and inserts the chosen candidate (sometimes with a three‑dot placeholder as part of the candidate). Work is manual now; plans include mechanical grammar derivation and using compiler internals.
AI-written summary · about
chapters (8)
- 0:00Start
- 0:32Syntax completion
- 4:13Postfix sentential forms
- 9:40Two approaches
- 10:10Syntax for the prefixes
- 10:58Implementation (cont.)
- 13:39Future work 2
- 15:23Demo
related talks
26mDesign a new language in JS: from zero to autocomplete
27mParsing, Compiling, and Static Metaprogramming
29mA type safe calculus for generating syntax-directed editors
21mSynthesizing Formal Semantics from Executable Interpreters
29mLanguage-parametric static semantic code completion
16mEmacs as a C++ IDE
46mSix steps from zero to IDE
41mImproving Clojure's Error Messages with Grammars