~/talk

Fun With Parsing

Talkat LambdaConf Winter Retreat 2017 · 2017-01-08..01-11· [javascript]
slides:none on file

Claims that derivative parsing lifts Brzozowski-style derivatives to context‑free grammars, uses laziness and memoization to avoid infinite recursion, and yields a working Scala implementation with tests. It handles ambiguity rather than forcing grammar contortions, admits embedded regexes, and runs with asymptotic cost O(n^3) while keeping constant factors competitive with LR. Earlier exponential fear is now corrected by recent papers, and the prototype proves the idea practical rather than merely theoretical.

AI-written summary · about

  1. 0:00Introduction to parsing
  2. 1:46Formalizing grammars
  3. 4:56Recursive descent parsing
  4. 6:42Grammar constraints
  5. 8:54Building a recognizer
  6. 12:27Left recursion issues
  7. 15:49LR parsing techniques
  8. 18:54Parsing with states
  9. 22:14Shift-reduce conflicts
  10. 25:17Algorithms and ambiguity
  11. 28:09Graph structured stacks
  12. 31:50Derivative parsing
  13. 35:12Functional implementation
  14. 37:14Parser performance
~/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.