The next 20 years of Python

Well, it does, but it's still only a run-time check, and those are not very useful. And in Python 3, you can write things like:

def f(x: int, y: int, z: int) -> int:
return x * y * z

Combined with a decorator or a meta-class, you can use this for run-time type checking as well. But it's still only at run-time, and not static, at compile-time.