python类型检查是渐进式的，允许选择性添加注解，mypy仅严格校验有注解代码，未注解部分默认跳过或宽松推断，支持混合风格代码库与可调节的检查强度，且兼容python动态特性。
Python 的类型检查是“渐进式”的，因为你可以选择性地为部分代码添加类型注解，而无需一次性改写整个项目。类型检查器（如 mypy）只对有注解的代码做严格校验，对没注解的地方默认跳过或仅做宽松推断——这让你能从关键模块开始逐步引入类型安全，而不是被“全有或全无”的约束卡住。
不强制要求全量注解
Python 运行时完全忽略类型注解，它们只是提示信息。这意味着：
- 没有类型注解的函数、变量、参数仍可正常运行
-
mypy默认把未注解的函数签名视为Any，不会报错（除非开启--disallow-untyped-defs等严格选项） - 你可以先给公共 API 或核心逻辑加注解，内部辅助函数暂缓处理
支持混合风格的代码库
一个项目里可以同时存在：
- 带完整类型注解的新模块（如
def process(data: list[str]) -> dict[str, int]: ...） - 只有部分注解的旧模块（如只标注了返回值：
def load_config() -> Config:） - 完全无注解的胶水代码（
mypy会当作动态类型处理，不报错）
这种共存能力让团队能在不影响交付的前提下，持续提升类型覆盖率。
立即学习“Python免费学习笔记（深入）”；
类型检查强度可按需调节
通过命令行选项或配置文件，你能控制“渐进”的节奏：
-
--strict开启全部检查（适合新项目或重构阶段） -
--disallow-incomplete-defs要求函数体中所有变量都有推断/显式类型 -
--warn-return-any提醒你返回了Any，但不中断构建
这些开关相当于“类型成熟度仪表盘”，帮你分阶段收紧规则。
与动态特性自然兼容
Python 的鸭子类型、**kwargs、运行时属性注入等特性并不被类型系统否定，而是通过特殊语法支持：
-
Union、Optional、Literal表达灵活取值 -
Protocol实现结构化接口，不依赖继承 -
cast()和ignore注释提供可控的“类型逃逸”出口
这种设计不是强行套用静态语言规则，而是围绕 Python 的实际用法延伸出可选的保障层。
