I was looking for a mypy implementation or plugin for PyCharm. (Apparently this is the mypy documentation). Because I want to try an alternative static type checker to PyCharm's default PEP 484 implementation.
I found a couple of mypy plugins on JetBrains market, but I want to know from someone more experienced if there are alternatives, and a comparison of relative advantages and differences between the plugins?