Python的类型提示从2015年PEP 484落地算起，已经折腾了快十年。可现在打开一个现代代码库，你可能同时撞见typing.List、list[str]、typing_extensions和from __future__ import annotations四种写法混战的场面。这不是某个团队代码风格混乱，是整个生态还没统一。

Guido van Rossum去年在PyCon上被问到这事，现场叹了口气：「我们当初引入类型系统是为了让大型项目好维护，不是为了让用户背一本词典。」这话听着像甩锅，但他说完又补了一句——自己现在写代码也会先Google一下该用哪个import。

问题出在Python的渐进式设计上。为了兼容老代码，类型系统不能搞breaking change，只能一层一层叠补丁。3.9内置了list[str]写法，但3.8及以下还得用typing.List；|联合运算符3.10才支持，想兼容旧版本就得继续写Union。结果就是，一个想支持Python 3.8+的开源库，不得不同时维护两套语法。

社区也不是没想办法。typing_extensions这个官方背书的兼容包，把新特性反向移植到老版本，算是权宜之计。但开发者真正的痛点是心智负担——你得同时记住「这个特性哪年出的」「哪个版本原生支持」「要不要import那个扩展包」。有人开玩笑说，Python类型系统的学习曲线，比学一门新语言还陡。

Guido现在的态度是：等3.8彻底EOL（明年10月），社区可以开始清库存。但看看隔壁JavaScript的TypeScript生态，Python这盘棋下得确实慢了半拍。一位维护着50万下载量周报的库作者告诉我，他最近把最低支持版本抬到3.10，代码瞬间干净了三分之一——代价是流失了12%的用户。