ty：极速Python类型检查器发布

Astral公司今日推出ty，一款用Rust编写的极速Python类型检查器和语言服务器。在性能上，ty比现有工具如mypy和Pyright快10至60倍，支持增量更新，在编辑器中实现实时反馈。它提供高级类型检查功能，如交集类型、类型窄化和可达性分析，并与VS Code和Cursor等编辑器集成。ty已进入beta阶段，Astral计划明年发布稳定版，逐步支持更多库如Pydantic和Django。这一工具旨在提升Python开发效率，推动Python生态系统发展，展现技术深度和行业洞察。