Parser.y rewrite with parser combinators

Niklas Hambüchen mail at nh2.me
Tue Oct 9 00:53:49 UTC 2018


Another thing that may be of interest is that parser generators can guarantee you complexity bounds of parsing time (as usual, the goal is linear).

Some of the conflicts that annoy us about parser generators are often hints on this topic; if the parser generator succeeds, you are guaranteed to have a linear parser.

If backtracking is allowed in parser combinators, it is comparatively easy to get that wrong.

Niklas


More information about the ghc-devs mailing list