Microsoft, Facebook, and Google all have their own Python type checkers now.
* https://github.com/google/pytype
* https://github.com/facebook/pyre-check
* https://github.com/python/mypy