用途：利用 Python 类型系统在静态分析阶段捕获错误，类型注解作为可被工具自动校验的文档。适用场景包括为现有代码添加类型提示、创建泛型可复用类、用 Protocol 定义结构接口、配置 mypy 或 pyright 严格检查、理解类型收窄与守卫、构建类型安全的 API 与库。
主要能力：类型注解（为函数参数、返回值、变量声明预期类型）；泛型（跨类型保留类型信息）；Protocol（无需继承的结构化接口，即带类型安全的鸭子类型）；类型收窄（用守卫与条件在代码块内收窄类型）。
核心模式：为所有公开签名加注解；使用 Python 3.10+ 的 User | None 联合语法（3.9 可用 Optional/Union）；用条件判断收窄类型；用 TypeVar 与 Generic 编写泛型类（如 Result[T, E]）；用带 bound 的 TypeVar 限制泛型参数；用 Protocol 与 @runtime_checkable 做结构类型；定义类型别名与 Callable 回调类型。
配置：mypy 严格模式可在 pyproject.toml 的 [tool.mypy] 中设置 strict = true、warn_return_any、warn_unused_ignores、disallow_untyped_defs、disallow_incomplete_defs、no_implicit_optional 等；建议在 CI 中运行 mypy --strict 或 pyright。已有项目可按模块增量启用严格模式，使用 # mypy: strict 或按模块覆盖配置。
最佳实践：注解所有公开 API；优先用 T | None；在 CI 运行严格检查；用泛型保留类型信息；用 Protocol 定义接口；用守卫收窄类型；为 TypeVar 加 bound；为复杂类型建别名；尽量减少 Any（仅在真正动态数据或对接无类型第三方代码时可接受）；用类型作为可执行的文档。
限制：资料未提供该技能的具体安装命令、依赖版本、支持的 Python 版本下限之外的细节，也未说明收费、平台或效果数据，这些暂未提供。