astral-sh/ty：一个用Rust编写的超快速Python类型检查器和语言服务器。 检查速度极快，性能卓越；专为Python语言优化，支持最新特性；代码库结构清晰，易于扩展和维护