标签：类型检查器

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

Astral公司今日推出ty，一款用Rust编写的极速Python类型检查器和语言服务器。在性能上，ty比现有工具如mypy和Pyright快10至60倍，支持增量更新，在编辑器中实现实时反馈。它提供高级类型检查功能，如交集类型、类型窄化和...