Rust 기반 Recursive Descent Parser를 통한 고밀도 AST 구축 및 컴파일러 파이프라인 설계

CrabPascal Parser: From Tokens to AST | Parser: de tokens à AST

CrabPascal2026년 6월 4일6분advanced

AI 요약

Context

Pascal 언어의 문법 검증과 프로그램 구조화를 위한 Parser 설계 필요성 대두. 단순 토큰 나열을 넘어 후속 단계인 Semantic Analysis에서 효율적으로 활용 가능한 추상화된 데이터 구조 확보가 핵심 과제임.

Recursive Descent 및 Precedence Climbing 기법을 적용하여 연산자 우선순위가 반영된 이진 트리 구조의 Expression Parsing 구현
불필요한 구두점(Semicolon, Parentheses)을 제거하고 유의미한 구문 정보만 남기는 AST(Abstract Syntax Tree) 설계로 데이터 밀도 최적화
Rust의 Enum과 Struct를 활용한 수십 가지 AST Node 타입 정의 및 serde 라이브러리를 통한 JSON 직렬화 기반의 회귀 테스트 체계 구축
Parser와 Semantic Analyzer의 책임을 엄격히 분리하여 Parser는 오직 Grammar 정합성에만 집중하고 타입 체크는 후속 단계로 위임하는 단일 책임 원칙 적용
Token Expectation 추적 로직을 통해 단순 Syntax Error가 아닌 구체적인 Line/Column 기반의 진단 메시지를 제공하는 에러 복구 메커니즘 구현

실천 포인트

1. 파서 설계 시 구문론적 요소(Semicolon 등)와 의미론적 요소(AST Node)를 분리하여 후속 처리 단계의 연산 비용을 줄였는가?

2. 연산자 우선순위 처리를 위해 Precedence Climbing과 같은 표준 알고리즘을 적용하여 복잡도를 제어했는가?

3. 신규 문법 추가 시 영향도 파악을 위해 AST 직렬화 기반의 Snapshot Test 환경을 구축했는가?

4. 사용자 경험 개선을 위해 단순 에러 발생 지점이 아닌 기대 토큰(Expected Token) 정보를 포함한 진단 메시지를 제공하는가?

태그