인기: 데이터 업데이트: 2026년 11월 14일

카테고리

인터넷1,413
커뮤니케이션327
오디오 및 비디오935
그래픽 및 디자인562
오피스 및 생산성1,175
개발 도구3,276
AI 도구605
보안 및 개인정보407
시스템 도구3,182
게임544
교육 및 과학241
네트워크 및 IT293

ty 0.0.91 다운로드

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

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

설치 파일 0.0.91

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

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

릴리스 노트

Bug fixes
- Improve generics solving when an intersection is passed into a generic call to prefer solving the call to a more precise type when it is safe to do so (#29578)
- Fix recursive type materialization (#29532)
- Infer return intersections from correlated call specializations (#28303)
- Preserve Self when checking universal protocols (#29207)
- Fix stack overflows involving recursive descriptor setter types (#29148)
- Preserve the namespace-package fallback in module discovery when the namespace-package fallback is obscured by a partial stub package (#29559)
- Report all missing @override decorators together (#29557)
- Fix false-positive invalid-argument-type diagnostics when inferring constrained type variables from callbacks that return an invariant generic with a gradual type argument (#29577)

Performance improvements
- Compare protocol receiver restrictions before binding (#29443)

LSP server
- Avoid cancelling requests for unrelated file changes (#29604)

Core type checking
- Generics solving: check for unsatisfiable bodies before existentially quantifying (#29504)
- Liskov diagnostics: Check inherited attribute conflicts (#28559)
- Return type inference: eneralize nested types in inferred return types (#29488)

Contributors
- @charliermarsh
- @sharkdp
- @dhruvmanila
- @carljm
- @MichaReiser
- @dcreager

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

프로그래밍 언어 및 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. pnpm프로그래밍 언어 및 SDK · pnpm
  7. Ccache프로그래밍 언어 및 SDK · Joel Rosdahl
  8. sbt프로그래밍 언어 및 SDK · Lightbend, Inc.
  9. BOINC프로그래밍 언어 및 SDK · Space Sciences Laboratory, U.C. Berkeley
  10. Dart SDK프로그래밍 언어 및 SDK · Google

Astral Software Inc.의 다른 프로그램

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

태그

공유