Pyrefly와 ty: Rust 기반의 두 가지 새로운 Python 타입 체커 등장

PyCon 2025에서 Meta의 Pyrefly와 Astral의 ty라는 두 가지 새로운 Rust 기반 Python 타입 체커가 데뷔했습니다. Pyrefly는 이전 버전보다 빠르고, 이식성이 높고, 기능이 풍부해지는 것을 목표로 하며, 오픈 소스 커뮤니티에도 적극적으로 참여하고 있습니다. ty는 "점진적 보장"을 중시하며, 타입 어노테이션을 제거함으로써 타입 에러가 발생하지 않음을 의미합니다. 둘 다 Ruff를 AST 파싱에 사용하며, 명령줄과 IDE 통합을 제공합니다. 벤치마크 테스트 결과 ty가 일반적으로 더 빠른 것으로 나타났지만, 타입 추론과 에러 처리 측면에서는 서로 다른 접근 방식을 취하고 있습니다. Pyrefly는 더 공격적인 접근 방식으로 더 많은 에러를 감지할 수 있지만, 오탐도 증가할 수 있습니다. ty는 더 보수적인 접근 방식으로 코드 호환성을 우선시합니다. 둘 다 아직 초기 알파 버전이며, 향후 발전이 주목됩니다.