Une caractéristique de certains langages de programmation qui requiert que le type de chaque élément de données à déclarer, s'oppose à la demande des opérateurs aux types de données inappropriés et empêche l'interaction des éléments de données de types incompatibles.