Type Safety

Proprietà di un linguaggio o di un programma, impedisce operazioni incompatibili con i tipi dei dati attraverso controlli prima o durante l’esecuzione.

Un sistema di tipi stabilisce quali operazioni sono ammesse sui valori e come questi possono essere combinati. I controlli possono avvenire durante la compilazione oppure mentre il programma viene eseguito. Per esempio, una funzione che richiede un numero deve ricevere un valore compatibile con quel requisito. Il livello di garanzia dipende dalle regole del linguaggio e dalle eccezioni consentite. Errori logici e comportamenti indesiderati restano oggetto di verifiche separate.