I feel mypy has been a big help in the correctness and approachability in my code I write. My big issue is that it is too easy for `Any` to (implicitly) show up, making it so parts of my code are (silently) not checked. I wish there was a good way to spot this; maybe I need to dig more into the docs.
mypy --help
Disallow the use of the dynamic 'Any' type under certain conditions.
--disallow-any-unimported
Disallow Any types resulting from unfollowed
imports
--disallow-subclassing-any
Disallow subclassing values of type 'Any' when
defining classes (inverse: --allow-subclassing-
any)
--disallow-any-expr Disallow all expressions that have type Any
--disallow-any-decorated Disallow functions that have Any in their
signature after decorator transformation
--disallow-any-explicit Disallow explicit Any in type positions
--disallow-any-generics Disallow usage of generic types that do not
specify explicit type parameters (inverse:
--allow-any-generics)
