Python typing

Typing spec

The Any type

Intersection types

[Lu2023] “Gradual Soundness: Lessons from Static Python”

PEPs

PEP 747: Annotating Type Forms

» Languages » Python

» Theory » Gradual types