[germandiago]

If you do that you then have a less productive language for many use cases IMHO.

All the dynamism from Python should stay where it is.

Just JIT and remember a type maybe, but do not force a type from a type hint or such things.

As a minimum, I would say not relying on that is the correct thing. You could exploit it, but not force it to change the semantics.

[zahlman]

I think there are ways that it could be reined in quite a bit with most people not noticing. But it would still be a different language.