Чи використовують сучасні мови генератори парсера?

Я досліджував про набір компіляторів GCC на вікіпедії тут , коли це придумав:

GCC почав використовувати парсери LALR, створені разом із Bison, але поступово перейшов на рукописний рекурсивно-десертний парсер; для C ++ в 2004 році, а для C і Objective-C в 2006 році. В даний час усі передні торці використовують рукописні рекурсивно-розбірні аналізатори

Отже, в останньому реченні (і стільки, наскільки я довіряю вікіпедії), я можу однозначно сказати, що "C (gcc), C ++ (g ++), Objective-C, Objective-C ++, Fortran (gfortran), Java (gcj), Ада (GNAT), Go (gccgo), Pascal (gpc), ... Ртуть, Modula-2, Modula-3, PL / I, D (gdc) і VHDL (ghdl) "- це всі передні частини, які ні більше використовувати генератор парсера. Тобто всі вони використовують рукописні парсери.

Тож моє запитання: чи є така практика всюдисуща? Зокрема, я шукаю точні відповіді на те, "чи стандартна / офіційна реалізація x має рукописний аналізатор" для x в [Python, Swift, Ruby, Java, Scala, ML, Haskell]? (Насправді тут також вітається інформація про будь-які інші мови.) Я впевнений, що зможу знайти це самостійно після багатьох копань. Але я також впевнений, що громада легко відповідає за це. Спасибі!

AFAIK, GCC використовують рукописний аналізатор, зокрема, для вдосконалення синтаксичної діагностики помилок (тобто надання людям значущих повідомлень про синтаксичні помилки).

Теорія розбору (і генератори розбору, що сходять від неї), здебільшого стосується розпізнавання та розбору правильної вхідної фрази. Але ми очікуємо від компіляторів, що вони дадуть змістовне повідомлення про помилку (і що вони можуть змістовно проаналізувати решту вхідних даних після синтаксичної помилки) для деякого неправильного введення.

Крім того, старі застарілі мови, як-от C11 або C ++ 11- (які концептуально старі, навіть якщо їх остання редакція становить лише три роки), зовсім не є контекстними. Справа з цією контекстною чутливістю в граматиках для генераторів парсеру (тобто зубрів або навіть менгір ) нудно важко.

Генератори парсера та парсерні двигуни є досить загальними. Перевага загальності полягає в тому, що побудувати точний аналізатор швидко та зробити його функціональним легко у загальній схемі речей.

Сам парсерний двигун страждає на передній частині продуктивності через свою загальність. Будь-який написаний вручну код завжди буде значно швидше, ніж двигуни для розбору таблиць.

Друга сфера, в якій генератори / двигуни парсеру мають труднощі, - це те, що всі реальні мови програмування залежать від контексту, часто досить тонко. Мови LR є безконтекстними, це означає, що існує багато тонкощів щодо позиціонування та оточення, які неможливо правильно передати у синтаксисі. Граматики, що приписуються, намагаються вирішити основні мовні правила, такі як "оголосити перед використанням" тощо. Підключення цієї контекстної чутливості до рукописного коду прямо вперед.