In programmazione, la tipizzazione statica è una politica di tipizzazione che prevede che il tipo di ogni variabile venga stabilito direttamente nel codice sorgente mediante l'uso di parole chiave come int
, float
o char
e fissato durante la compilazione del programma.
Differisce dalla tipizzazione dinamica dove il tipo può variare nel corso dell'esecuzione.