Questa voce o sezione sull'argomento programmazione non cita le fonti necessarie o quelle presenti sono insufficienti.

---

Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti.

Questa pagina sull'argomento informatica sembra trattare argomenti unificabili alla pagina Sistema dei tipi.

---

Puoi contribuire unendo i contenuti in una pagina unica. Commenta la procedura di unione usando questa pagina di discussione. Segui i suggerimenti del progetto di riferimento.

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…

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++.

Nei seguenti listati vengono mostrate le caratteristiche della tipizzazione statica nei linguaggi Java e C.

public class EsempioTipizzazione {
  public static void main( String[] args ) {
    int a; //dichiara la variabile intera a
    a = 3.5; //ERRORE! Il valore 3.5 è numerico a virgola mobile, la variabile a invece è intera 
  }
}

int main() {
  char c; /* dichiara una variabile di tipo carattere */
  c = "Esempio"; /* ERRORE! "Esempio" è una stringa, non può essere assegnata a una variabile carattere */
}

• Tipizzazione dinamica

Portale Informatica: accedi alle voci di Wikipedia che trattano di informatica