Pydantic

pyrefly

比 Mypy 快 15 倍的类型检查器，Instagram 在用，还能自动补全和导航代码。

极速 Python 类型检查器和语言服务器，经 Meta 2000 万行代码验证，速度是 Mypy/Pyright 的 15 倍，IDE 响应低于 10 毫秒，即装即用。