> I believe we will be able to move towards a fully JIT'd language. Unless they actually go ahead with the deferred evaluation of types (PEP 563), make all typ

> I believe we will be able to move towards a fully JIT'd language. Unless they actually go ahead with the deferred evaluation of types (PEP 563), make all types strings at runtime and make it impossible to know which type they actually are. :) But they will probably not: https://discuss.python.org/t/type-annotations-pep-649-and-pep-563/11363 https://discuss.python.org/t/type-annotations-pep-649-and-pe... But it could be a breaking change in the language. As it is, I can run this "a: str = 3" and it will work.