Parsing Expression Grammar vs. Regexes: Building Org Parser in Lisp, Export HTML

Re:Parsing Expression Grammar vs. Regexes: Building Org Pars... by remywang on Saturday September 26, 2026 @10:26AM (#49856897)

One cool factoid about PEGs is that it is an open problem if they can parse all context free languages.

[ Parent | on HN ]

Re:Parsing Expression Grammar vs. Regexes: Building Org Pars... by pcfwik on Saturday September 26, 2026 @11:53AM (#49857699)

If I understand correctly, one of the recent cool generative AI-assisted results is actually supposed to have closed this problem, complete with a Lean proof!

https://arxiv.org/abs/2608.29592

[ Parent | on HN ]

Re:Parsing Expression Grammar vs. Regexes: Building Org Pars... by torginus on Saturday September 26, 2026 @03:30PM (#49859755)

I think language designers in general have realized that there's nothing particularly virtuous about a programming language with a syntax that's hard to parse.

Go and Rust (and Pascal) have cleaned up C's awful legacy enough that they're parseable with LL(X) parsers that don't have scary corner cases or polynomial behavior.

[ Parent | on HN ]