Date: 2020-01-29
Accepted
Static type-checking is available for Python, making us of the type annotations already in the codebase.
Type-check via mypy.
Testing is still important, but type checking helps to eliminate bugs via static checking, even for parts of the code not exercised during tests.
Additionally, type-checking relies on our type annotations, ensuring that the annotations are correct and complete.