Python 类型提示（type hints）大致可以分成几个阶段，每个阶段背后都有不同目标：文档化 → 静态分析 → 泛型系统 → 类型表达力增强 → 类型系统趋近现代语言。
Python 类型提示的演变史
一、史前时代：类型靠约定（Python 3.5 以前）
早期 Python 是纯动态类型语言：
def add(a, b):return a + b
类型完全依赖：
- 命名约定（
user_id,str_name） - Docstring
def greet(name):""":type name: str:rtype: str"""
Sphinx / Epydoc 风格
这其实算最早的“类型提示”。
特点：
- 只给人看
- IDE 勉强利用
- 没有语言级支持
二、函数注解出现（PEP 3107, Python 3.0，2008）
真正转折点：
PEP 3107
引入：
def greet(name: str) -> str:return "Hello " + name
但关键点：
这不是类型系统。
只是“给参数挂元数据”。
def foo(x: "anything"):...
Python 本身不检查类型。
设计哲学：
注解语法先落地，用途以后再定义。
这是后来整个 typing 生态的地基。
三、类型提示正式诞生（PEP 484, Python 3.5，2015）
真正现代类型系统开始：
PEP 484
引入：
from typing import Listdef greet(names: List[str]) -> None:...
同时诞生：
typing模块TypeVarGenericUnionOptional
T = TypeVar("T")def first(items: list[T]) -> T:return items[0]
重要意义
第一次：
- 类型可以被静态检查（如 mypy）
- IDE 能做推断
- Python 开始有“渐进类型系统”（Gradual Typing）
这是革命性阶段。
四、typing 爆炸增长时期（2015–2019）
这个阶段像寒武纪爆发。
PEP 526 — 变量注解
age: int = 18
以前：
age = 18 # type: int
终于不用 type comment。
PEP 544 — Protocol（结构化类型）
PEP 544
从 Nominal Typing：
class Bird:def fly(self): ...
变成 Duck Typing 的静态版：
from typing import Protocolclass Flyable(Protocol):def fly(self) -> None:...
这是非常 Pythonic 的进化。
TypedDict
from typing import TypedDictclass User(TypedDict):name: strage: int
让 dict 也有结构类型。
五、语法现代化（Python 3.9–3.10）
这是“去 typing 冗余化”阶段。
PEP 585 — 内置泛型
PEP 585
以前：
from typing import List, Dictx: List[str]
现在：
x: list[str]
巨大简化。
PEP 604 — | 联合类型
PEP 604
以前：
Optional[str]
Union[int, str]
现在：
str | None
int | str
几乎像现代语言：
- TypeScript
- Kotlin
- Rust 风格
PEP 563 / postponed evaluation
解决前向引用：
class Node:parent: Node
以前必须：
parent: "Node"
六、高级类型系统时代（3.10–3.12）
开始变得“像真正编译型语言”。
ParamSpec
高阶函数类型：
from typing import ParamSpecP = ParamSpec("P")
装饰器终于能正确表达：
def decorator(fn: Callable[P, T]) -> Callable[P, T]:
TypeGuard
类型缩窄：
def is_str(x: object) -> TypeGuard[str]:
类似 TypeScript narrowing。
Self（PEP 673）
class Builder:def set(self) -> Self:return self
终于不用：
T = TypeVar("T", bound="Builder")
七、PEP 695：泛型语法革命（Python 3.12）
大事件。
PEP 695
旧写法：
T = TypeVar("T")def identity(x: T) -> T:return x
新写法：
def identity[T](x: T) -> T:return x
类：
class Box[T]:...
终于接近：
- C++
- Rust
- TypeScript
很多人认为这是 typing 2.0。
八、运行时类型时代（Pydantic 等生态）
静态类型开始影响运行时。
典型：
Pydantic
class User(BaseModel):name: strage: int
类型不只是给 checker：
- 校验
- 序列化
- API schema
- ORM
尤其和 FastAPI 一起，把 type hints 推到主流。
演化主线可以总结成四代
| 时代 | 特征 |
|---|---|
| Docstring时代 | 文档化类型 |
| PEP484时代 | 渐进静态类型 |
| 现代typing时代 | Protocol / 泛型增强 |
| PEP695+时代 | 接近完整类型系统 |