Stanford Seminar - Optional Static Typing for Python

Explore the concept of optional static typing for Python in this Stanford seminar. Delve into Python's popularity and type system, examining the benefits of both dynamic and static typing. Learn about gradual typing and the mypy project, as well as other static type checkers available for Python. Discover how to implement a static type system in Python, including examples in Python 2 and type inference techniques. Gain insights into spelling types, using escape hooks, and working with generics. Examine protocols (PEP 544) and the use of stub files and typeshed. Understand how to begin implementing static typing in large code bases and learn about ongoing standardization efforts in this field.

Syllabus

Introduction.
Python's popularity.
Python's type system.
Why dynamic typing.
Why static typing.
Gradual typing.
The mypy project.
Other static type checkers for Python.
A static type system for Python.
Example in Python 2.
Type inference.
How to spell types.
Escape hooks (unsafe).
Generics.
Generic class example.
Analyzing runtime type checks.
Protocols (PEP 544) (2).
Stub files and typeshed.
How to start on a large code base.
Standardization effort.