Интересная статья, спасибо.
Один из пунктов "за" использование генератора парсеров выглядит сомнительно:
> Разработка инструмента статического анализа, использующего несколько входных языков с различным синтаксисом.
Я писал небольшую утилиту для анализа семейства DSL, среди которых есть небольшие отличия в синтаксисе. С помощью генератора парсеров (menhir). И вот поддерживать эти различия в синтаксисе — непростая задача. Особенно в кейсах, когда синтаксис разных диалектов языка противоречит друг другу.