Teoria dei tipi: differenze tra le versioni

Per esempio, supponiamo che un sistema di tipi classifichi il valore <code>ciao</code> come [[stringa (informatica)|stringa]] ed il valore <code>5</code> come [[intero]] e, sulla base di tali diverse assegnazioni, ''proibisca'' al programmatore di [[Addizione|sommare]] <code>ciao</code> a <code>5</code>. All'interno di questo sistema, l'istruzione di programma:

 

 

sarebbe ''illegale''. Il vantaggio di questa ''proibizione'', ovvero dell'impossibilità di far eseguire al programma questa operazione, consiste nel fatto che non potrà mai capitare di sommare stringhe a numeri, operazione che produrrebbe risultati privi di senso.