Proposal for Python type annotations from Guido van Rossummail.python.org1 pointRussell9112 years ago