> 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.
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.