YoVDO

Stanford Seminar - Optional Static Typing for Python

Offered By: Stanford University via YouTube

Tags

Python Courses Type System Courses Generics Courses Type Inference Courses Mypy Courses

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 Robotics
Stanford 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