Guido van Rossum, who created popular programming language Python 30 years ago, has outlined his ambitions to make it twice as fast – addressing a key weakness of Python compared to faster ...

Because we declared name as an int already, and input by default returns a string, the type checker would complain. The code would still run, however, since type hints are not used at runtime.