Python's native dynamic typing is one of the things that makes Python so fast and simple to work in. However, when python code bases start to become large and have many contributors, they can start to become unmaintainable and error-prone.
MyPy is a static type-checking library that you can add to your python projects to check the Type Hints proposed in PEP 484. Static typing allows you to explicitly specify what types of objects your functions expect -- it looks like this:
MyPy is a project blessed (and being worked on) by Guido himself, and is the key to making Python robust enough for enterprise production code bases. This talk will cover the following topics: - The benefits of static type checking in Python - A crash course on adding Type Hints and MyPy to your code base - A demo for adding MyPy type checking to your CI/CD pipeline - Learnings from adding static type checking to systems at Spotify™