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

> Clean Markdown view of GeekNews topic #20777. Use the original source for factual precision when an external source URL is present.

## Metadata

- GeekNews HTML: [https://news.hada.io/topic?id=20777](https://news.hada.io/topic?id=20777)
- GeekNews Markdown: [https://news.hada.io/topic/20777.md](https://news.hada.io/topic/20777.md)
- Type: GN+
- Author: [neo](https://news.hada.io/@neo)
- Published: 2025-05-08T09:43:32+09:00
- Updated: 2025-05-08T09:43:32+09:00
- Original source: [github.com/astral-sh](https://github.com/astral-sh/ty)
- Points: 13
- Comments: 5

## Summary

Astral은 **Rust 기반의 초고속 Python 타입 검사기**이자 언어 서버인 **ty**를 개발 중입니다. 현재는 **프리릴리즈 상태**로, 프로덕션 환경에서 사용하기에는 준비가 덜 된 상태이지만, 기존의 **mypy 대비 몇십배 빠른 검사 속도**를 보입니다. **Ruff, uv에 이은 Astral의 차세대 도구**로 주목받고 있습니다.

## Topic Body

- **ty**는 **Rust**로 작성된 매우 빠른 **Python 타입 검사기** 및 **언어 서버**  
- 아직은 **프리릴리즈 소프트웨어**로, **프로덕션**에서 사용하기에는 준비되지 않음  
- Astral의 초고속 파이썬 Linter인 **Ruff** 저장소에서 개발이 진행 중이며, **안정성**과 **기능 완전성**을 목표로 함  
- MIT 라이센스

## Comments



### Comment 38390

- Author: zeyakim
- Created: 2025-05-09T13:16:04+09:00
- Points: 1

대 황 astral.. 또 해내셨습니까

### Comment 38362

- Author: youn17
- Created: 2025-05-08T19:32:55+09:00
- Points: 1

오호 mypy의 대안인가요? 믿고 쓰는 Astral의 신작으로 보이네요

### Comment 38354

- Author: brainer
- Created: 2025-05-08T17:05:19+09:00
- Points: 1

https://news.hada.io/topic?id=13388  
  
만든곳이네요. 여튼 좋습니다.

### Comment 38323

- Author: xguru
- Created: 2025-05-08T09:52:57+09:00
- Points: 1

[Ruff - 10-100x 빠른 Python 린터](https://news.hada.io/topic?id=7364)  
[Astral - 차세대 파이썬 개발도구를 만드는 회사](https://news.hada.io/topic?id=9001)

### Comment 38319

- Author: neo
- Created: 2025-05-08T09:43:32+09:00
- Points: 1

###### [Hacker News 의견](https://news.ycombinator.com/item?id=43918484) 
- :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 스텁을 지원할 것인가? 우리 회사가 전환하는 유일한 장애물임.