A Markup for the Statically Typed
summary
Elm Markup v3 brings static types, structured errors, and extensibility to a lightweight markup that parses to Html, Elm UI, or an arbitrary view function. It parses source into a typed intermediate mark.description stored in the model, emits precise errors (example: int out of range), and supports incremental edits, cursor-aware editable documents and a fragment editor API for updating single fields. Demo shows a working editor, rendered output, and live fixes.
AI-written summary · about
chapters (7)
- 0:00Introduction to Elm markup
- 1:05Journey to Elm markup
- 5:00Designing a markup language
- 8:12Language syntax and features
- 13:53Error handling in markup
- 14:55Live demo of Elm markup editor
- 18:12Results and future potential
related talks
29mA type safe calculus for generating syntax-directed editors
19mFlexible Structure Editing of Well-Typed Expressions
50mMiniLaTeX: Parse LaTeX to HTML
21mPapers We Love - Elixir Edition
24mScoped and Typed Staging by Evaluation
31mDependent tagless final
15mA compilation method for dynamic typing in ML
38mModeling Symposium