Ty - 빠른 Python 타입 체커 및 언어 서버
(github.com/astral-sh)- ty는 Rust로 작성된 매우 빠른 Python 타입 검사기 및 언어 서버
- 아직은 프리릴리즈 소프트웨어로, 프로덕션에서 사용하기에는 준비되지 않음
- Astral의 초고속 파이썬 Linter인 Ruff 저장소에서 개발이 진행 중이며, 안정성과 기능 완전성을 목표로 함
- MIT 라이센스
Hacker News 의견
-
:wave: 비밀이 아닌 저장소를 찾은 것 같음. 우리는 더 큰 발표를 준비 중임.
- 현재 소프트웨어는 프리 알파 상태이며, 버전은 0.0.0a6임.
- 지금까지의 릴리스는 릴리스 프로세스를 검증하기 위한 것임.
- 사람들에게 제공하고 싶지만, 아직 생산 준비가 되려면 많은 작업이 필요함.
- 곧 더 많은 소식을 기대해 주길 바람.
- (나는 Astral에서 일함)
-
"ty" 프로젝트 이름을 pypi에서 Astral에게 양도했음.
- 몇 년 전 농담으로 사용하려 했지만, 두 글자 프로젝트 이름에 더 좋은 용도임.
- 그들은 감사의 표시로 PSF에 기부하기로 동의했음.
-
이러한 타입 체커들이 빨라지는 방법은 보통 실제 파이썬 코드의 복잡한 현실을 지원하지 않음.
- 우리가 mypy를 사용하는 이유는 Django의 플러그인을 가진 유일한 타입 체커이기 때문임.
- Django의 런타임 생성 메서드를 제대로 타입 체크할 수 있음.
- 더 많은 파이썬 도구가 "야생에 있는 것이 곧 언어다"라는 TS 접근 방식을 취했으면 좋겠음.
-
대규모 프로젝트에서 체크 시간을 비교했음.
- mypy (캐시 사용): 18초
- ty: 0.5초 (3500개의 오류 발견)
- 그들은 또 해냈음.
-
Astral이 등장하기 전, 파이썬의 도구는 Java에 비해 매우 형편없었음.
- Astral은 끔찍한 pip을 환상적인 uv로 대체했음.
- 다양한 끔찍한 린터를 환상적인 ruff로 대체했음.
- 이제 끔찍한 타입 체커 (예: mypy)를 좋은 것으로 대체하길 바람.
- pypi 백엔드도 그들의 목록에 있기를 바람. 파이썬에서 Maven Central을 원함.
-
uv가 설치되어 있다면, 설치 없이 다음 명령어로 테스트할 수 있음.
-
uvx ty check
-
-
Astral이 Facebook의 "Pyrefly, Rust로 작성된 더 빠른 Python 타입 체커" 출시와 동시에 나온 것이 흥미로움.
- 윤리적 발언은 아니지만, Rust가 파이썬과 JS 도구 세계를 계속 잠식하는 것이 흥미로움.
-
vscode와 vscode 포크 (예: Windsurf, Cursor)에서 작동하는 새로운 완전한 기능의 Python 언어 서버가 매우 기대됨.
- Pylance가 이 포크된 배포판에서 문제가 있음.
- 또 다른 포크된 Pyright 구현 (BasedPyright, Cursor Pyright, Windsurf Pyright, ...)을 채택하지 않고 새로운 대안이 있는 것이 좋음.
-
이 사람들이 돈을 버는 방법을 알아냈는지 궁금함.
-
Django 스텁을 지원할 것인가? 우리 회사가 전환하는 유일한 장애물임.