#typing

mypy 是静态类型检查器，读代码不运行。同一批 50 个文件它要 1015 毫秒，是 ruff 的 28.4 倍，但它能拦住运行时才炸的参数类型错误，代价是查不出除零这类值层面的问题。