Comment by lambdaone

2 days ago

Python type hints are static - at the moment, they are advisory only, but there is an obvious route forward to making Python an (optionally) fully statically typed language by using static type checking on programs before execution.

I might be missing the point but isn’t this what we use mypy et al for today?