현대 언어는 여전히 파서 생성기를 사용합니까?

나는 위키 피 디아에서 GCC 컴파일러 스위트에 대해 연구했다 여기 이가 왔을 때 :

GCC는 Bison으로 생성 된 LALR 파서를 사용하기 시작했지만 점차 손으로 쓰는 재귀-강하 파서로 전환했다. 2004 년 C ++, 2006 년 C 및 Objective-C 용. 현재 모든 프런트 엔드는 손으로 쓴 재귀-강하 파서를 사용합니다.

마지막 문장으로 (그리고 wikipedia를 신뢰하는 한) "C (gcc), C ++ (g ++), Objective-C, Objective-C ++, Fortran (gfortran), Java (gcj), Ada (GNAT), Go (gccgo), Pascal (gpc), ... Mercury, Modula-2, Modula-3, PL / I, D (gdc) 및 VHDL (ghdl) "은 모두 프런트 엔드가 아닙니다. 더 이상 파서 생성기를 사용하십시오. 즉, 그들은 모두 손으로 쓴 파서를 사용합니다.

내 질문은이 연습이 어디에나 있을까요? 특히, [Python, Swift, Ruby, Java, Scala, ML, Haskell]에서 x에 대한 "x의 표준 / 공식 구현에 손으로 쓴 파서가 있습니까"에 대한 정확한 답변을 찾고 있습니까? (실제로 다른 언어로 된 정보도 환영합니다.) 많은 발굴 후에 스스로 찾을 수 있다고 확신합니다. 그러나 나는 이것이 커뮤니티에 의해 쉽게 대답 할 수 있다고 확신합니다. 감사!

AFAIK, GCC는 특히 손으로 쓴 파서를 사용하여 구문 오류 진단을 개선합니다 (즉, 구문 오류에 대해 사람에게 의미있는 메시지를 제공함).

구문 분석 이론 (및 구문 분석 생성기)은 대부분 올바른 입력 문구를 인식하고 구문 분석하는 데 관한 것 입니다. 그러나 우리는 컴파일러가 잘못된 입력에 대해 의미있는 오류 메시지를 제공하고 구문 오류가 발생한 후 나머지 입력을 의미있게 구문 분석 할 수 있다고 기대합니다.

또한 C11 또는 C ++ 11과 같은 오래된 레거시 언어 (최신 개정판이 3 년이 지난 경우에도 개념적으로 오래된 언어)에는 컨텍스트가 전혀 없습니다. 파서 생성기 (즉, 들소 또는 심지어 menhir )에 대한 문법의 문맥 민감도를 다루는 것은 지루하게 어렵습니다.

파서 생성기 및 파서 엔진은 매우 일반적입니다. 일반성의 장점은 전체 구문에서 정확한 파서를 신속하게 작성하고 기능을 갖추는 것이 쉽다는 것입니다.

파서 엔진 자체는 일반성으로 인해 성능면에서 어려움을 겪습니다. 직접 작성한 코드는 항상 테이블 기반 파서 엔진보다 훨씬 빠릅니다.

파서 생성기 / 엔진이 어려움을 겪는 두 번째 영역은 모든 실제 프로그래밍 언어가 상황에 따라 다르며 종종 미묘한 방식입니다. LR 언어는 컨텍스트가 없으므로 구문에서 올바르게 전달할 수없는 위치 지정 및 환경에 대한 미묘한 점이 있습니다. 속성이있는 그래머는 "사용하기 전에 선언"등과 같은 기본 언어 규칙을 해결하려고 시도합니다. 이러한 상황 민감도를 직접 작성한 코드에 연결하는 것은 간단합니다.