인기: 데이터 업데이트: 2026년 10월 27일

카테고리

인터넷1,356
커뮤니케이션321
오디오 및 비디오898
그래픽 및 디자인539
오피스 및 생산성1,124
개발 도구3,134
AI 도구529
보안 및 개인정보385
시스템 도구3,114
게임523
교육 및 과학239
네트워크 및 IT284

ty 0.0.2 다운로드

An extremely fast Python type checker and language server, written in Rust.

이전 버전입니다. 현재 최신 버전은 0.0.87입니다. ty 0.0.87 · 출시일:

설치 파일 0.0.2

아키텍처형식설치 범위파일 크기다운로드SHA256
64비트 ZIP → 포터블 — — github.com VirusTotal
ARM64 ZIP → 포터블 — — github.com VirusTotal
32비트 ZIP → 포터블 — — github.com VirusTotal

링크와 SHA256은 Windows 패키지 관리자 커뮤니티 매니페스트에서 가져왔습니다. 실행하기 전에 다운로드한 파일의 해시를 비교해 보십시오.

릴리스 노트

Release Notes
Released on 2025-12-16.
LSP server
- Improve display of completions to show actual insertion text (#21988)
- Improve highlighting of special type syntax in hovers (#22005)
- Improve syntax highlighting of constants (#22006)
Core type checking
- Infer precise types for isinstance(…) calls involving type variables (#21999)
- Infer TypeVar specializations for Callable types (#21551)
- Propagate classmethod-ness through decorators returning Callables (#21958)
- Improve rendering of default values for function args (#22010)
- Don't use implicit superclass annotation when converting a class constructor into a Callable (#22011)
Other
- Type checking performance improvement (#22000)
Contributors
- @sharkdp
- @carljm
- @Gankra
- @BurntSushi
- @dcreager
- @MichaReiser

https://github.com/astral-sh/ty/releases/tag/0.0.2

프로그래밍 언어 및 SDK 인기 1위

전체 보기
  1. Go Programming Language프로그래밍 언어 및 SDK
  2. LLVM프로그래밍 언어 및 SDK · LLVM
  3. Deno프로그래밍 언어 및 SDK · Deno Land Inc.
  4. CMake프로그래밍 언어 및 SDK · Kitware
  5. Yarn프로그래밍 언어 및 SDK · Yarn Contributors
  6. Ccache프로그래밍 언어 및 SDK · Joel Rosdahl
  7. sbt프로그래밍 언어 및 SDK · Lightbend, Inc.
  8. BOINC프로그래밍 언어 및 SDK · Space Sciences Laboratory, U.C. Berkeley
  9. Dart SDK프로그래밍 언어 및 SDK · Google
  10. NVM for Windows프로그래밍 언어 및 SDK · Ecor Ventures LLC

Astral Software Inc.의 다른 프로그램

전체 보기
  • uv패키지 관리자 및 업데이트 도구 · Astral Software Inc.

태그

공유