PyCharm 是否使用 Mypy？

Question

PyCharm 是使用 Mypy 还是 JetBrains 单独实现 PEP 484？

Answer 1

It appears that they went with their own implementation.

最终我会猜测他们是否使用另一个开源库反而无关紧要；只要they maintain their support for it，他们选择的实现是无关紧要的。