Ty - 빠른 Python 타입 체커 및 언어 서버

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 스텁을 지원할 것인가? 우리 회사가 전환하는 유일한 장애물임.