~/talk

Virtual Domain Specific Languages via Embedded Projectional Editing

Talkat GPCE 2023 · 2023-10-22..10-23· [compilers-and-language-design]
links:none on file
slides:none on file

Presents a working hybrid editor that matches AST patterns in Python or JavaScript and renders matched code as live web components, serializing always back to pure GPL text so existing toolchains (linters, LSP) keep working. Implements pattern+projection elements, a small program‑by‑example generator that creates patterns and text widgets from paired samples, and a CodeMirror 6 web demo at https://puredit.korz.dev/. Matches are dynamic with fallback to source when projection fails; implementation is incremental and used on multiple domain examples.

AI-written summary · about

  1. 0:00Introduction
  2. 2:14Mixed Python custom syntax
  3. 3:39Hybrid projectional editor
  4. 7:39Defining DSL elements
  5. 10:57Pattern matching details
  6. 12:43Generating patterns from samples
  7. 14:50Related work design
  8. 16:41Implementation future plans
  9. 17:25Q&A
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.