Uma característica de algumas linguagens de programação que requer o tipo de cada item de dados deve ser declarado, impede a aplicação de operadores para tipos de dados inadequados e impede a interação de itens de dados de tipos incompatíveis.