Вопрос к людям разбирающимся в алгоритмах парсинга и компиляторо-строении.
Каково ваше мнение о
Parsing expression grammar?
http://pdos.csail.mit.edu/~baford/packrat/popl04
http://www.tinlizzie.org/~awarth/papers/pepm08.pdf
Обещают линейное время парсинга. Причем с неограниченным декларативно-выраженным заглядыванием вперед.
Вроде как даже можно динамически парсер строить (очень полезно для макросов).
Просто чудеса, да и только. А я в чудеса не верю. Какие реальные слабые места могут быть у этого чуда и чудо ли это?
В общем, приветствуются любые мысли.