Which static analysis tools use PEP 484 yet?

[matthiaskramm]

I know of:

• pylint, which has plans to support PEP 484
• mypy, which can type check PEP 484 programs, and uses PEP 484 on its own code
• pytype, which can type check PEP 484 programs, and generate PEP 484 annotations

Which other static analysis tools have picked up PEP 484, and/or can do useful checking of (or anything else, with) annotated Python source?

[gvanrossum]

There's PyCharm, of course, which supports PEP 484 syntax (even the Python 2 variant, in PyCharm 5.1). There's also this independent stub generator: https://github.com/edreamleo/make-stub-files I also found https://github.com/o11c/stubtool but I don't know if it's still alive.

[prechelt]

Don't ignore dynamic checking, which may help where static checking does not reach:

https://pypi.python.org/pypi/typecheck-decorator

Nice for instance for incremental sense-making when maintaining somebody else's code:

find out something, annotate it, run tests, and see whether it is indeed usually true.

Lutz

[markshannon]

How about the best dynamic checker of them all, Python itself?
100% accuracy in determining runtime type errors, with no annotations
required whatsoever :)

Cheers,
Mark

[o11c]

How about the best dynamic checker of them all, Python itself? 100% accuracy in determining runtime type errors, with no annotations required whatsoever :)

There are plenty of cases where Python will silently Do The Wrong Thing due to type errors.

One of the simple examples is if you end up calling iter('foo') rather than iter(['foo']).

[ilevkivskyi]

Since someone already mentioned this, I could add another runtime type checking tool that I have seen: https://github.com/agronholm/typeguard

[JelleZijlstra]

Closing as this is no longer relevant