James Carlson is a retired mathematician whose research field is algebraic geometry. For the last four years he has been an active Elm developer and has strong interest in functional programming with applications to parsing and rendering classical and novel markup languages.
With functional languages like Elm that target the browser, one can parse and render both classical and novel markup languages in real time, providing authors a pleasant, zero-config tool for writing and distributing mathematical text. The talk will outline how one designs and builds a fault-tolerant parser that provides high-quality, real-time error messages in-place in the rendered text. As case studies we consider two markup languages: MiniLaTeX, a subset of LaTeX, and L1, an experimental markup with a syntax inspired by Lisp.Slides