The point of adding type hinting to Python is to create a smoother path from prototyping to production level code. Contrast with prototyping in Python then rewriting in C++. Soon typed Python code will be automatically transformable to native code. Being able to incrementally evolve a codebase from a prototype to production level quality and performance without wholesale rewrites will revolutionize development practices.
> Soon typed Python code will be automatically transformable to native code.
Do you have a specific project in mind? I know of a few, like Cython, RPython, Nuitka etc. that already do this, but use their own type annotations that are partially incompatible with the Mypy type system.
One hurdle to native code generation is that most large Python projects will contain a bit of metaprogramming that the type checker can't handle. That isn't a problem if you can check it by hand and use assertions to signal the type checker that you know what you're doing, but that code will also be impossible to compile. There are some ways to get around that (e.g. RPython allows arbitrary Python during initialization, which is executed at compile time), but they might require a complete rearchitecturing of the program.
