提问： Python 的这几个代码分析工具和类型检查工具区别

静态代码检查工具，通过 Type Hints 实现（部分）编译型语言在编译期的检查。
类似的工具还有官方的 mypy 以及 google 的 pytype 。

我之前用 flake8 ，配置简单规则也够用。
pylint 支持的规则最多，对我来说太复杂了。
pyright/pylance 可能主要是性能方面的优化吧。

我现在用 ruff ，规则够用，速度比 flake8 快很多。

@vicalloy 谢谢推荐， 也准备尝试一下 ruff 了~

pylance/pylint/flake8/ruff 是一类的，做代码规范化&错误检查
pyright/mypy 一类，做类型检查
pyright 据说比 mypy 快，不过这东西用 Typescript 写的，依赖 node 的运行环境。类型检查我还是用 mypy 。

@vicalloy 哈哈，没想到居然还有用外语来写这边的语法检查工具的情况

pylance ，vscode 内用的比较好，但它需要自启一个 server （？）
个人觉得最好一点是鼠标划过可以提示__doc__，如果语法参数写在__doc__，可以直接就看到；不好是占较多内存，如果代码文件比较多、长，会有点卡顿

pylint 规则复杂，我总是调不顺
flake8 用在 sublime text ，比较简单，但查参数要打开 source 查看

我个人脑子不好不记参数，代码复用时经常开多个文件 copy 并确认参数格式，本来 vscode+pylance 不错，只是 vscode 需要占用 GPU ，我较多状况是 20 核跑几十万条 pandas ，核显同时开着 vscode 会比较慢，就转到 sublime text 了

现在不都切换到 ruff 上了...

mypy 附带 mypyc ，过了类型检查附送一个编译成 c 的功能，类似 cython 。

@Monad mypy 并不是“官方的”吧？


@vicalloy 我第一次运行 mypy 卡了好几十秒。后面就很快了，不懂是什么原理

@vicalloy #4 flake8 、pylint 、ruff 只是 linter ，pylance 是 static analyzer ，天壤之别。