Type Hints

Qué es realmente una sugerencia de tipo, por qué el intérprete la ignora en gran medida y cómo un verificador estático separado convierte las anotaciones en una segunda capa de verificación opcional sobre el tiempo de ejecución dinámico de Python: el modelo mental detrás de todas las demás páginas de esta sección.

Anotación de variables, funciones y retornos; en tiempo de ejecución vs. estático.

`list[int]`, `dict[str, X]`, `Sequence`, `Mapping`, `Iterable`.

Tipos anulables, reducción de tipos y manejo de `None`.

Tipado pato estático y `runtime_checkable`.

Registros tipados y datos con forma de JSON.

Configuración, ajustes de estrictez e integración en CI.

Dónde los tipos son beneficiosos y dónde detenerse.