Mypy 需要很长时间来验证 AWS CDK 代码库

我使用 Python 和 AWS CDK 来描述我的基础设施，我使用 NeoVim 编写它。

我使用 ALE 使用 mypy 检查我的代码，因此每次我对文件进行任何更改时，它都会在其上运行 mypy。问题是验证文件并将单个核心（线程）固定到 100% 需要大约 40 秒。如果我同时打开多个缓冲区，它会为每个文件运行一个 mypy 进程，这会很快开始消耗我的 cpu 和电池。

我认为这与库中 CDK 构造的绝对数量有关，它每次都必须检查（aws_cdk 的 .mypy_cache 目录是 ~40MiB），但我仍然希望有一个加快速度的方法。