Lol, no, I don’t think they have a plan for that! But Mypy, the Python type checker (that checks optional type annotations), has an experimental compiler that uses the type annotations to try to optimize the code. I type-annotate almost all of my Python code, but I haven’t tried the Mypy compiler. There is an impediment to annotating everything in that sometimes one uses a library with modules that aren’t annotated.
Maybe they’ll manage to figure that out eventually, but it seems like most Python users, at least the ones posting in the discussion forum and answering surveys, aren’t all-in with regard to static typing.
Mojo uses static typing and type inference.
One other missing feature in Python that I forgot to mention is stability. I decided to move away from Python for my open source research prototype because of that. Sometimes research software becomes useful or timely years after it was written, and I’d like it to still work (even if I’m too busy with other things to maintain it). I noticed the problem when I upgraded from using Python 3.9 to 3.12 in order to try to take advantage of some claimed potential speed improvements and it wouldn’t compile right away. I had to work around a removed standard library module that one of my dependencies was depending on. After I got it compiling, I had to make a minor fix in another third-party library that was no longer behaving as expected. That project was the first time I’d used Python for a whole project more than one file (essentially more than a script).