Static Typing in Python
summary
Python remains dynamically typed but can be annotated to be statically checked using the typing module and optional type hints; history hits PEP 3107 484 and 526 and tools like mypy pytype and other type checker backends emerge. Dropbox reports millions of lines that benefit from typing, typeshed supplies external stubs, and gradual typing lets teams annotate hot spots, catch cross-function and container-type errors before runtime, and speed refactors without changing program behavior.
AI-written summary · about
chapters (26)
- 0:00Introduction
- 1:08Overview
- 1:44Types
- 4:21Function arguments and return types
- 6:47Duck typing
- 7:39Static languages
- 8:42Dynamic languages
- 10:16Functions Annotations
- 12:00PhD Thesis
- 13:32MyPI
- 14:36Guiteau
- 14:48Optional typing
- 15:17Gradual typing
- 15:27Variable annotation
- 16:13Special type constructs
- 16:58Container types
- 17:18Generic types
- 17:33Types and classes
- 18:49Variable Annotations
- 19:37Type Checkers
- 21:39Cross Function Inference Examples
- 22:56Why and When to Use Static Typing
- 23:39When to Use Static Typing
- 26:07Experiment with Static Typing
- 26:39Summary
- 27:56QA
