mypy

Mypy 是 Python 的静态类型检查器。通过向 Python 程序添加类型注解（PEP 484），mypy 会在代码执行前报告变量和函数的错误用法，因为它是在静态层面而非运行时分析程序。 README 中描述的主要特性： - 渐进式类型：类型注解可以逐步引入，在静态类型不便之处，代码始终可以回退到动态类型。类型注解不会改变程序的运行方式。 - 类型系统特性：类型推断、泛型、可调用类型、元组类型、联合类型和结构化子类型。 - 可通过 pip 安装（`python3 -m pip install -U mypy`），也可直接从仓库安装。 - 命令行用法：使用 `mypy PROGRAM` 进行类型检查，使用 `dmypy run -- PROGRAM` 进入守护进程模式，为大型代码库提供更快的增量更新。 - 提供在线演练场用于试用 mypy。 - 编辑器与工具集成：VS Code、Vim（Syntastic、ALE）、Emacs（Flycheck）、Sublime Text、PyCharm、IDLE 和 pre-commit。 - 提供文档、类型注解速查表、入门指南以及错误代码列表。 - Mypyc 利用类型注解将 Python 模块编译为 C 扩展；mypy 本身也使用 mypyc 编译，README 称这使其比解释执行大约快四倍。可以通过 `--no-binary mypy` 安装解释执行版本。 该项目欢迎在测试、开发、文档及其他方面做出贡献，并为不同经验水平的贡献者提供任务。