Stanford Seminar - Optional Static Typing for Python
Offered By: Stanford University via YouTube
Course Description
Overview
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.
Taught by
Stanford Online
Tags
Related Courses
Artificial Intelligence for RoboticsStanford University via Udacity Intro to Computer Science
University of Virginia via Udacity Design of Computer Programs
Stanford University via Udacity Web Development
Udacity Programming Languages
University of Virginia via Udacity