The next logical step is parsing with derivatives: https://matt.might.net/papers/might2011derivatives.pdf https://matt.might.net/papers/might2011derivatives.pdf

The next logical step is parsing with derivatives: https://matt.might.net/papers/might2011derivatives.pdf https://matt.might.net/papers/might2011derivatives.pdf I found the paper was fairly readable. YMMV.