PEP 483 – The Theory of Type Hints (2014)

The standard for type hints in Python is lengthy and detailed PEP-484.

PEP-483 is 2x shorter and builds the foundation for this work. It summarizes the typing theory and outlines its guiding principles for Python. I found it helpful to see the bigger picture.