mypy: A Quick Look into Static Type Checking in Python
Mypy is an experimental optional static type checker for Python that aims to combine the benefits of dynamic (or "duck") typing and static typing. 
Tags: python, mypy, types, plugins