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

요약

Pyrefly는 기존 Python 타입 검사기인 Pyre의 경험과 한계를 극복하며 개발된 차세대 언어 서버입니다. Pyre가 초기에는 CLI(Command Line Interface) 기반의 처리량(throughput)에 초점을 맞춘 반면, IDE 환경은 낮은 지연 시간(latency)을 요구합니다. 이 간극을 메우기 위해 Pyrefly는 두 가지 워크로드 모두를 지원하는 유연한 아키텍처를 목표로 합니다. 또한, OCaml 기반의 Pyre가 겪었던 플랫폼 종속성 및 구조적 제약 문제를 해결하기 위해 Rust를 채택함으로써 크로스플랫

핵심 포인트

• Pyrefly는 기존 타입 검사기인 Pyre의 경험을 바탕으로 개발되었으며, 성능과 기능 면에서 진화했습니다.
• IDE 환경은 처리량(throughput)보다 낮은 지연 시간(latency)이 중요하므로, Pyrefly는 두 가지 워크로드를 모두 지원하도록 설계되었습니다.
• Pyre가 OCaml 기반의 구조적 제약에 갇혔던 것과 달리, Pyrefly는 Rust를 채택하여 크로스플랫폼 안정성을 확보했습니다.
• 효율적인 언어 서버 구현을 위해 Pyrefly는 빠르고 검증된 Ruff 파서를 사용합니다.