PyCharm是否使用Mypy或JetBrains是否单独实施PEP 484？
It appears that they went with their own implementation.
最终我猜想他们是否使用另一个开源库而不是重要;只要they maintain their support for it，他们的实施选择是无关紧要的。