Come si differenziano la tipizzazione statica e dinamica nei linguaggi di programmazione?

La tipizzazione statica significa che i tipi delle variabili sono definiti e verificati durante la compilazione. Questo permette di individuare errori di tipo prima dell'esecuzione del programma. Ad esempio, in Swift o C++, il tipo di variabile viene specificato esplicitamente o dedotto dal compilatore, e non può essere modificato.

La tipizzazione dinamica significa che i tipi delle variabili vengono determinati durante l'esecuzione del programma. Questo offre maggiore flessibilità, ma gli errori di tipo possono manifestarsi solo durante l'esecuzione. Esempi di linguaggi con tipizzazione dinamica sono Python e JavaScript.

Esempio in Swift (tipizzazione statica):

var number: Int = 10
number = "stringa" // Errore di compilazione

Esempio in Python (tipizzazione dinamica):

number = 10
number = "stringa"  # Funziona senza errori