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

C++ For C Programmers, Part A
University of California, Santa Cruz via Coursera
Programming Languages, Part C
University of Washington via Coursera
AP Computer Science A: Java Programming Polymorphism and Advanced Data Structures
Purdue University via edX
Введение в iOS-разработку
Moscow Institute of Physics and Technology via Coursera
Java Programming: Step by Step from A to Z
Udemy