A verificação de tipos é a atividade de assegurar que os operandos de um operador sejam de tipos compatíveis. Um tipo compatível é aquele válido para o operador ou com permissão, nas regras de linguagem, para ser convertido pelo código gerado pelo compilador para um tipo válido. A essa conversão automática chama-se