Una característica de algunos lenguajes de programación que requiere el tipo de cada elemento de datos declarado, excluye la aplicación de los operadores a tipos de datos inapropiados e impide la interacción de los elementos de datos de tipos incompatibles.