问题
Does PyCharm use Mypy or did JetBrains implement PEP 484 separately?
回答1:
It appears that they went with their own implementation.
Ultimately I would conjecture whether or not they use another open source library instead matters little; so long as they maintain their support for it, their choice of implementation is inconsequential.
来源：https://stackoverflow.com/questions/50497956/does-pycharm-use-mypy