Una caratteristica di alcuni linguaggi di programmazione che richiede il tipo di ogni elemento di dati dichiarati, si oppone all'applicazione degli operatori a tipi di dati inadeguati e impedisce l'interazione degli elementi dei dati di tipi incompatibili.