The Theory of Type Hints (2014)
python.org