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

카테고리

인터넷1,361
커뮤니케이션321
오디오 및 비디오903
그래픽 및 디자인543
오피스 및 생산성1,120
개발 도구3,139
AI 도구534
보안 및 개인정보388
시스템 도구3,126
게임524
교육 및 과학239
네트워크 및 IT283

ty 0.0.86 다운로드

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

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

설치 파일 0.0.86

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

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

릴리스 노트

Bug fixes
- Infer empty collection branches from nonempty literals (#29131)
- Invalidate dependency metadata when environments change (#29126)
- Preserve final attribute restrictions on composite types (#29135)
- Preserve recursive structure in Annotated values (#29058)
- Specialize inherited dataclass field converters (#29192)

LSP server
- Show documentation for annotation operators on hover (#29185)

Core type checking
- Check attribute and property override types (#28556)
- Narrow tuple unions through truthiness and type checks (#29125)
- Preserve literal types when consuming dictionary literals (#29145)
- Preserve non-boolean comparison results for intersections (#28045)
- Preserve receiver specializations when calling unions of bound methods (#29015)
- Represent uninhabited truthiness explicitly (#28843)
- Solve validity type context through constraint sets (#28909)

Performance
- Avoid recursion guards for non-generic nominal targets (#29202)
- Check exact exclusions before intersection positives (#29195)

Memory usage improvements
- Share constraints in retained sequent maps (#28966)

Other changes
- Update the default Python version to 3.15 (#28792)
- Update to Unicode 17 (#21229, #28784)
- Always show fixes in the CLI (#27810)

Contributors
- @gorewilliams
- @carljm
- @AlexWaygood
- @ibraheemdev
- @zsol
- @charliermarsh

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

프로그래밍 언어 및 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.

태그

공유