Il linguaggio in cui il tipo di ogni variabile, espressione o funzione è definito prima della compilazione o durante l'esecuzione, e il compilatore o l'ambiente di esecuzione verificano rigorosamente la conformità dei tipi durante le operazioni. Questo previene errori legati a incompatibilità di tipi nelle fasi iniziali dello sviluppo.

Precedente Avanti