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

카테고리

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

ty 0.0.71 다운로드

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

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

설치 파일 0.0.71

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

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

릴리스 노트

Library support
- Respect third-party keyword-only fields before Python 3.10 (#27699)

Diagnostics
- Diagnose invalid __getattribute__ calls (#27506)
- Validate boolean conversion in comprehension filters (#27641)
- Validate unpacked callable argument shapes (#27516)

Core type checking
- Avoid introducing boolean literals when narrowing integers (#27698)
- Fix truthiness inference for subclassable known classes (#27638)
- Handle class objects that may be descriptors (#26687)
- Infer type variables through nominal type[...] parameters (#27689)
- Model exception flow with operation checkpoints (#27471)
- Preserve constrained TypeVar types when slicing (#27645)
- Preserve enum attributes on Self and bounded type variables (#27644)
- Preserve enum exhaustiveness with custom _missing_ methods (#27700)
- Preserve literal-string origin in comparison narrowing (#27582)
- Resolve generic type aliases subscripted inside type[] (#27663)
- Restrict equality impossibility to static bounds (#27655)

Performance
- Avoid deriving sequents for type variables with concrete bounds (#27587)

Contributors
- @dcreager
- @augustelalande
- @charliermarsh
- @carljm
- @AlexWaygood
- @ibraheemdev

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

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

태그

공유