Type hints: anotar tipos

Las indicaciones de tipo o type hints (anotaciones de tipo) son declaraciones opcionales que indican que "esta variable/parámetro tiene el tipo X". Python NO las verifica en tiempo de ejecución: son para ti, tu editor (¡autocompletado!) y herramientas como mypy o pyright que realizan una comprobación estática de tipos.

Anotar variables

nome: str = "Ada"
anni: int = 36
attivo: bool = True
prezzi: list[float] = [1.2, 3.4]

La sintaxis es nombre: tipo = valor. Sin un valor, es una declaración pura:

risultato: int  # nessuna assegnazione, solo "annuncio del tipo"

Anotar funciones

def saluta(nome: str, urlante: bool = False) -> str:
    s = f"Ciao {nome}"
    return s.upper() if urlante else s

def somma(numeri: list[int]) -> int:
    return sum(numeri)

Sintaxis: param: tipo para cada parámetro, -> tipo para el retorno. Una función que no devuelve nada usa -> None.

Tipos genéricos integrados (Python 3.9+)

nomi: list[str] = ["a", "b"]
mappa: dict[str, int] = {"x": 1}
coppia: tuple[int, str] = (1, "ok")
unici: set[int] = {1, 2, 3}

Optional y Union

Un valor que puede ser None:

def trova_utente(id: int) -> str | None:
    if id == 1:
        return "Ada"
    return None

X | None es la sintaxis moderna (Python 3.10+). Equivalente: Optional[X] de typing. Para uniones de múltiples tipos: int | str | float.

typing: herramientas útiles

from typing import Any, Callable

def applica(f: Callable[[int], int], x: int) -> int:
    return f(x)

valore: Any = "qualunque cosa"  # disabilita il check

• Any = "no comprobar" (usar con moderación).
• Callable[[arg1, arg2], retorno] = una función que toma esos parámetros y devuelve ese tipo.

mypy: el comprobador de tipos

Instalas mypy, ejecutas mypy archivo.py y te dice si los tipos coinciden:

$ mypy script.py
script.py:5: error: Argument 1 to "somma" has incompatible type "str"; expected "int"

Comprobación de tipos con mypy

El intérprete de Python no impone las indicaciones de tipo en tiempo de ejecución; se ignoran durante la ejecución. Para validar la corrección de los tipos, debes ejecutar una herramienta externa de análisis estático como mypy ejecutando el comando mypy script.py en tu terminal.

Pruébalo tú

Ejercicio de repaso

Desafío adicional