Functional Parsing for Novel Markup Languages - Lambda Days 2022

Explore functional parsing techniques for novel markup languages in this 43-minute conference talk from Lambda Days 2022. Delve into the design and construction of fault-tolerant parsers that provide real-time error messages for mathematical text. Follow along as the speaker demonstrates parsing techniques using MiniLaTeX and L1 markup languages, covering syntax trees, shift-reduce algorithms, reducibility, and worked examples. Gain insights into compiler pipelines and participate in a Q&A session to deepen your understanding of functional parsing in browser-targeted languages like Elm.

00:00 - - Markup Languages + Example
04:25 - - Demo Parser I : Syntax Tree
14:23 - - Demo Parser II : Shift Reduce Algorithm
19:17 - - Demo Parser III : Reducibility
23:54 - - Demo Parser IV : Worked Example
30:15 - - Compiler Pipeline
33:56 - - QnA