title: Tipizzazione statica
text: # Tipizzazione statica
  
  In programmazione, la tipizzazione statica è una particolare politica di tipizzazione, ovvero di assegnazione di tipi alle variabili.
  
  Nei linguaggi a tipizzazione statica, il tipo di ogni variabile (numerico intero, numerico a virgola mobile, carattere, ecc.), viene stabilito direttamente nel codice sorgente dove viene assegnato esplicitamente per mezzo di parole chiave apposite, come ad esempio int, long, float, char, ecc…
  
  ## Implementazione della tipizzazione statica
  
  L'implementazione della tipizzazione statica cambia molto da linguaggio a linguaggio, ma rimangono costanti alcune caratteristiche.
  
  Il programma mantiene in una tabella dei valori tutte le variabili dichiarate dal programmatore, insieme al loro tipo e al valore corrente. Grazie a ciò, un tentativo di assegnamento di un valore di tipo diverso da quello di una variabile causa un errore terminale.
  
  I linguaggi a tipizzazione statica più comuni sono Java e C/C++.
  
  ## Esempi di tipizzazione statica
  
  Nei seguenti listati vengono mostrate le caratteristiche della tipizzazione statica nei linguaggi Java e C.
  
  