Un tret d'alguns llenguatges de programació que requereix el tipus de cada element de dades a declarar-se, s'oposa a l'aplicació d'operadors de tipus de dades inadequat i evita la interacció dels elements de dades de tipus incompatibles.