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

카테고리

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

ty 0.0.78 다운로드

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

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

설치 파일 0.0.78

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

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

릴리스 노트

Bug fixes
- Defer decorator-call diagnostics to avoid recursive-default cycles (#28226)
- Make cyclic intersection simplification deterministic (#28156)
- Stabilize cyclic terminal-call reachability (#28216)

Preview features
- Refresh uv workspace metadata when dependencies change (#28224)

Diagnostics
- Add a new disjoint-cast rule (#28129)
- Report deprecated property accessors on intersections (#28250)
- Report deprecations for implicit constructor calls (#28251)
- Report deprecations for overloads, operators, and properties (#28134)
- Respect overload selection in deprecation diagnostics (#28148)

Core type checking
- Fix negative narrowing for protocols with gradual members (#28198)
- Preserve ParamSpec bindings inferred against type context (#28084)
- Preserve generic protocol materialization relations (#28246)
- Preserve uncertain branches during quantification (#28211)
- Respect type variables in top/bottom materializations of invariant generics (#28072)
- Sync vendored typeshed stubs (#28217). Typeshed diff
- Treat captured bound-method receivers covariantly (#28180)
- Unsound intersection simplification for generic iterables (#28068)
- Validate type variable scopes in constructors and aliases (#28130)
- lambda functions are always truthy (#28254)

Performance
- Optimize materialized recursive protocol comparisons (#28079)
- Optimize recursive protocol checks for nested type variables (#28257)

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

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

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

태그

공유