ยอดนิยม: อัปเดตข้อมูลเมื่อ 5 พฤศจิกายน 2569

หมวดหมู่

อินเทอร์เน็ต1,369
การสื่อสาร322
เสียงและวิดีโอ908
กราฟิกและการออกแบบ548
ออฟฟิศและเพิ่มประสิทธิภาพ1,133
เครื่องมือนักพัฒนา3,163
เครื่องมือ AI544
ความปลอดภัยและความเป็นส่วนตัว394
เครื่องมือระบบ3,152
เกม531
การศึกษาและวิทยาศาสตร์240
เครือข่ายและไอที287

ดาวน์โหลด ty 0.0.79

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

นี่คือเวอร์ชันเก่า เวอร์ชันล่าสุดคือ 0.0.87 ty 0.0.87 · วันที่เผยแพร่:

ไฟล์ตัวติดตั้ง 0.0.79

สถาปัตยกรรมประเภทขอบเขตขนาดไฟล์ดาวน์โหลดSHA256
64 บิต ZIP → พกพา (Portable) — — github.com VirusTotal
ARM64 ZIP → พกพา (Portable) — — github.com VirusTotal
32 บิต ZIP → พกพา (Portable) — — github.com VirusTotal

ลิงก์และค่า SHA256 มาจากแมนิเฟสต์ชุมชนของ Windows Package Manager โปรดเทียบค่าแฮชของไฟล์ที่ดาวน์โหลดก่อนเปิดใช้งาน

บันทึกประจำรุ่น

Bug fixes
- Avoid dict keyword-call panics when typing is shadowed (#28292)
- Discover configs in models derived from legacy generic classes (#28397)
- Normalize recursive collection-use constraints (#28332)
- Recover cycles when constructing known class instances (#28289)

CLI
- Embed archive checksums in the shell installer (#4458)

Diagnostic improvements
- Add Literal fixes for diagnostics flagging invalid type annotations (#28185)
- Add await fixes for redundant conditions (#28169)
- Add assert_never fixes for redundant final elif branches (#28178)
- Add defensive assertion fallback for redundant elif fixes (#28179)
- Add rules to detect always-truthy and always-falsy conditions (#28034)
- Preserve deprecations on decorated callables (#28256)
- Require a direct dependency for reveal_type backport fixes (#28177)
- Suggest variable-length tuple annotations for redundant conditions (#28168)

Core type checking
- Align TypeIs and isinstance narrowing (#28193)
- Avoid falling back to Unknown when collecting type context constraints (#28297)
- Ensure f is identity(f) evaluates to Literal[True] (#28360)
- Fix callable specialization with union-valued ParamSpec (#28085)
- Infer variance through recursive protocols (#28077)
- Narrow types with ordered length comparisons (#28264)
- Preserve gradual type context during generic call inference (#28091)
- Preserve nominal subtyping for top-materialized protocols (#28271)
- Preserve outer type variables during ParamSpec inference (#28306)
- Preserve protocol intersections when narrowing gradual types (#28391)
- Promote literals in nested (non-covariant) positions (#28389)
- Reject missing attributes on type[] aliases (#28267)
- Solve formal unions using constraint-sets (#28312)
- Sync vendored typeshed stubs (#28331). Typeshed diff

Performance
- Avoid unnecessary work when building specializations (#28369)
- Bypass materialization queries for simple types (#28367)
- Cache exception suppression for context managers (#28376)
- Intern statement call predicates (#28373)
- Lazily compute argument-context specializations (#28378)
- Pre-size packed AST index chunks (#28372)
- Reduce repeated work in use-def merges (#28365)
- Skip decorator flags query for undecorated methods (#28338)

Memory usage improvements
- Avoid caching simple type specializations (#28333)
- Box cached MRO error details (#28351)
- Reuse generic aliases as MRO query keys (#28350)
- Reuse interned bound method signatures (#28346)
- Reuse stored function signatures without caching duplicates (#28347)
- Share retained use-def tables across scopes (#28313)
- Store single narrowing operations inline (#28345)
- Store uncommon signature metadata out of line (#28339)

Other changes
- Declare support for Python 3.15 (#4476)

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

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

ยอดนิยมใน ภาษาโปรแกรมและ SDK

ดูทั้งหมด
  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. Telegrafภาษาโปรแกรมและ SDK · InfluxData Inc.

โปรแกรมอื่นจาก Astral Software Inc.

ดูทั้งหมด
  • uvตัวจัดการแพ็กเกจและอัปเดต · Astral Software Inc.

แท็ก

แชร์