I was going to change the category to ideas, but this was already mostly addressed in @ljh 's other thread:
and the core devs and typing people have been very clear that making the core Python language statically rather than dynamically typed is not realistically going to happen anytime soon, and there are many great existing tools to do this already with Python code, e.g. Cython and mypyc.