Quale tipo di tipizzazione c'è in Python: statica o dinamica?

Dinamico, ma con elementi statici grazie alle annotazioni di tipo.

Nella tipizzazione dinamica, il tipo di una variabile viene determinato durante l'esecuzione del programma in base al valore assegnato.

# Tipizzazione dinamica: x può assumere diversi tipi di dati
x = 10  # int
x = "ciao" # str

Dalla versione Python 3.5, sono state aggiunte le annotazioni di tipo (type hints), che permettono di indicare il tipo atteso di una variabile, di un argomento di funzione o di un valore di ritorno. Questo non rende Python un linguaggio a tipizzazione statica nel senso classico, ma permette di usare analizzatori statici di codice (ad esempio, mypy) per verificare i tipi prima dell'esecuzione.

# Annotazioni di tipo
def greet(name: str) -> str:
    return f"Ciao, {name}"

età: int = 30

Principali differenze tra tipizzazione dinamica e statica:

Caratteristica	Tipizzazione dinamica	Tipizzazione statica
Definizione di tipi	Durante l'esecuzione	Durante la compilazione
Verifica degli errori di tipo	Durante l'esecuzione	Durante la compilazione
Flessibilità	Maggiore	Minore
Prestazioni	Potrebbe essere inferiore (a causa dei controlli in fase di esecuzione)	Generalmente superiore (i tipi sono noti in anticipo)

Nonostante le annotazioni, Python rimane un linguaggio a tipizzazione dinamica, poiché il controllo dei tipi durante l'esecuzione avviene comunque, e si può assegnare a una variabile un valore di altro tipo, anche se c'era un'annotazione sintattica. Le annotazioni servono a migliorare la leggibilità del codice, facilitare il debug e usare strumenti di analisi statica.