dcreager.net

↓

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

This page is also available via Gemini at gemini://dcreager.net/languages/python/typing/