Pyre의 교훈을 바탕으로 탄생한 차세대 Python 타입 검사기 Pyrefly

Pyrefly는 기존 Python 타입 검사기인 Pyre의 경험과 교훈을 반영하여 개발된 차세대 타입 검사기이자 언어 서버입니다. 이 글은 Pyre를 거치며 얻은 여러 경험적 통찰이 Pyrefly 설계에 어떻게 영향을 미쳤는지 정리합니다.

1. 아키텍처 패러다임의 전환: Throughput vs. Latency
Pyre는 원래 CI/CLI 환경에서 실행되는 정적 분석 도구로 설계되어, CPU 사용률을 극대화하는 '처리량(throughput)'에 중점을 두었습니다. 하지만 IDE와 같은 언어 서버 환경은 실시간 피드백이 필수인 '낮은 지연 시간(latency)'을 요구합니다. Pyrefly는 이 상충되는 두 가지 워크로드를 모두 효율적으로 처리할 수 있는 유연한 시스템 구축을 핵심 목표로 삼았습니다.

2. 언어 서버의 요구사항 강화: 오류 복구 능력
CLI 타입 검사기는 일반적으로 코드가 완료된 시점에 실행되지만, 언어 서버는 사용자가 편집하는 도중에 실시간으로 작동해야 합니다. 따라서 문법적 오류가 발생하더라도 분석을 중단하지 않고 계속 진행할 수 있는 '오류 복구(error-recovery)' 능력이 매우 중요합니다. Pyrefly는 빠르고 검증된 Ruff 파서를 도입하여 이 요구사항을 충족시켰습니다.

3. 언어 선택의 중요성: OCaml에서 Rust로의 전환
Pyre가 OCaml로 구현되면서, 초기 개발 속도를 위해 IPC(Inter-Process Communication) 기반의 아키텍처를 사용했습니다. 이는 데이터 공유에 구조적 제약을 가져왔고, 특히 복잡한 객체 처리 시 오버헤드가 컸습니다. 또한, OCaml 생태계가 가진 플랫폼 종속성 문제도 해결하기 어려웠습니다.

반면, Rust는 Windows, macOS, Linux 등 모든 운영체제를 근본적으로 동등하게 취급하며 크로스플랫폼 안정성을 제공합니다. 이 전환은 개발의 운영적 마찰을 제거하고, 커뮤니티 기여를 가속화하는 결정적인 계기가 되었습니다.

4. AST Lowering (추상 구문 트리 낮추기)
초기 Pyre 개발 과정에서는 유사한 문법 패턴(예: match 문과 체인된 if/else 문)을 처리할 때, 이를 동일하게 취급하는 'AST Lowering' 기법을 활용하여 반복적인 기능을 빠르게 확장했습니다.