Well, it won&#x27;t take much to have tools like Numba (<a href="http:&#x2F;&#x2F;numba.pydata.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;numba.pydata.org&#x2F;</a>) taking advantage of such &quot;type info&quot; during optimization phase. On the other hand IDEs are already taking advance of those (see PyCharm).<p>And by the way the future looks bright as interesting PEPs are coming: PEP509, PEP510 (<a href="https:&#x2F;&#x2F;www.python.org&#x2F;dev&#x2F;peps&#x2F;pep-0510&#x2F;" rel="nofollow">https:&#x2F;&#x2F;www.python.org&#x2F;dev&#x2F;peps&#x2F;pep-0510&#x2F;</a>) and PEP511 for instance.