While Python is still a dynamically typed language, in 2015, Python 3.5 gained support for Type Hints, ... mypy can often perform a full type check in a fraction of a second,” he says.