[See "Introducing Mypy, an Experimental Optional Static Type Checker for Python" and "Python's Mypy—Advanced Usage".] For people (like me) who have enjoyed dynamic languages for a long time, Mypy ...

But dynamic typing’s big pitfall has always ... Mypy’s approach to static typing in Python has already influenced the language. Type-hinting syntax was officially enshrined as an extension ...