Pratt 파싱은 블랙박스다

Pratt 파싱에서 먼저 익힐 것은 짧은 알고리듬의 내부 구현이 아니라, “토큰 왼쪽에 무엇이 있어야 하는가”를 기준으로 문법을 나누는 사고방식임 생성 규칙 대신 토큰 자체에 의미 동작을 연결하며, 왼쪽 피연산자가 필요 없는 nud와 필요한 led로 파싱 코드를 구성함 핵심 엔진은 대안 탐색이나 백트래킹 없이 진행하고 의미 동작을 한 번만 실행하므로, 부수 효과와 하위 파서 조합을 활용할 수 있음 결합력(binding power) 규약으로 우선순위와 결합 방향을 제어하지만, 별도 렉서가 필요하고 문장 파싱에는 다른 기법을 결합해야 함 모드 기반 렉싱과 렉서/파서 API를 함께 쓰는 매크로는 문법 확장의 중요한 수단이며, 렉서 설계가 하위 언어와 파서의 조합 가능성을 좌우함 알고리듬보다 먼저 익힐 블랙박스 사용법 Pratt의 핵심 알고리듬은 Rhombus 기준 9줄이며, 1973년 이후 바뀌지 않은 이 코드를 사용하기 위해 내부 구현부터 이해할 필요는 없음 퀵소트나 파일시스템의 구현을 몰라도 기능을 사용할 수 있듯, 파싱에서도 추상화의 사용법과 성질을 먼저 익힐 수 있음 전통적인 파서 생성기도 사용자가 파싱 엔진을 직접 구현하는 대신 코드를 생성해 사용하게 함 Pratt는 핵심이 작아 복잡한 의존성을 추가하지 않고 코드를 프로젝트에 옮겨 사용할 수 있음 목표는 구현이나 설명을 암기하는 것이 아니라, 문법을 Pratt 방식으로 분해하는 사고방식을 익히는 데 있음 nud와 led로 문법을 나누기 Douglas Crockford의 GOTO 2013 발표가 던지는 핵심 질문은 “토큰 왼쪽에 무엇이 있어야 하는가?”임 nud는 null denotation의 약자로, 왼쪽에 아무것도 요구하지 않음 led는 left denotation의 약자로, 왼쪽에 이미 파싱한 대상이 있어야 함 GNU Bison의 expr: expr '+' expr { $$ = $1 + $3; }; 같은 방식은 생성 규칙에 의미 동작을 연결하지만, Pratt는 단말 토큰 자체에 연결함 C++ 구현 예시는 렉서의 토큰 코드를 키로 삼는 세 종류의 테이블을 사용함 nud_table은 ExprPtr(Context&,reader,reader&) 형태의 함수를 연결하며, 괄호/중괄호, 부정, 타입 범위 진입, 단항 부호, 전위 증가, 매크로 확장, 식별자 등을 처리함 led_table은 왼쪽 표현식을 추가로 받는 ExprPtr(Context&...