#linter

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

ruff 是 Rust 写的 Python 检查器和格式化工具，一个可执行文件同时顶掉 flake8、isort 和 black，跑 200 个文件只要 290 毫秒。