ty

ty 是一个用 Rust 编写的极快速的 Python 类型检查器和语言服务器。它比 mypy 和 Pyright 快 10 到 100 倍，并提供全面的诊断信息，包括丰富的上下文信息、可配置的规则级别、文件级覆盖以及抑制注释等功能。此外，ty 还支持先进的类型系统特性，如交集类型和高级类型收窄等。它适用于需要高效类型检查与代码分析的大型 Python 项目开发场景，特别是在使用 IDE 如 VS Code、PyCharm 或 Neovim 进行开发时，通过其内置的语言服务器功能，能够显著提高编码效率和质量。