Static Typing with Python

Guides

• Type System Guides
  • Typing Python Libraries
  • Writing and Maintaining Stub Files
  • Unreachable Code and Exhaustiveness Checking

Reference

• Type System Reference
  • Type Stubs
  • Typing Best Practices
  • Testing and Ensuring Type Annotation Quality
  • typing Module Documentation

Indices and tables

• Index

• Search Page

Discussions and Support

• User help forum

• User chat on Gitter

• Developer mailing list

Typing-related Tools

Type Checkers

• mypy, the reference implementation for type checkers. Supports Python 2 and 3.

• pyre, written in OCaml and optimized for performance. Supports Python 3 only.

• pyright, a type checker that emphasizes speed. Supports Python 3 only.

• pytype, checks and infers types for unannotated code. Supports Python 2 and 3.

Development Environments

• PyCharm, an IDE that supports type stubs both for type checking and code completion.

• Visual Studio Code, a code editor that supports type checking using mypy, pyright, or the Pylance extension.

Linters and Formatters

• black, a code formatter with support for type stub files.

• flake8-pyi, a plugin for the flake8 linter that adds support for type stubs.

Typing PEPs

• PEP 483, background on type hints

• PEP 484, type hints

• PEP 526, variable annotations and ClassVar

• PEP 544, Protocol

• PEP 561, distributing typed packages

• PEP 563, from __future__ import annotations

• PEP 585, subscriptable generics in the standard library

• PEP 586, Literal

• PEP 589, TypedDict

• PEP 591, Final

• PEP 593, Annotated

• PEP 604, union syntax with |

• PEP 612, ParamSpec

• PEP 613, TypeAlias

• PEP 646, variadic generics and TypeVarTuple

• PEP 647, TypeGuard

• PEP 655, Required and NotRequired

• PEP 673, Self

• PEP 675, LiteralString

• PEP 677 (rejected), callable type syntax

• PEP 681 (draft), @dataclass_transform()