Home Blog Examples Tutorial Code Wiki FAQ Roadmap About Contact Twitter Newsletter Atom Follow: Get the Code! Mypy on Twitter is @mypyproject Follow @mypyproject on Twitter Why mypy? Compile-time type checking Static typing makes it easier to find bugs with less debugging. Easier maintenance Type declarations act as machine-checked documentation. Static typing makes your code easier to understand and easier to modify without introducing bugs. Grow your programs from dynamic to static typing You can develop programs with dynamic typing and add static typing after your code has matured, or migrate existing Python code to static typing. Mypy is an experimental optional static type checker for Python that aims to combine the benefits of dynamic (or "duck") typing and static typing...