标签：类型标注

很多团队的类型标注停留在"IDE 补全"用途。这篇把 3.12–3.14 的新类型工具按"解决什么问题"组织起来，每段代码都给出实测结论（CPython 3.13.15 / 3.14.0 实际运行；类型检查行为以 pyright/mypy 官方语义为准）。