Durante a tradução, o compilador verifica, para cada expressão, se os operandos possuem tipos compatíveis.

Caso contrário, o erro é sinalizado imediatamente. Em alguns casos, o compilador pode realizar conversões automáticas, chamadas de coerções, como transformar um int em float antes de uma operação aritmética.

Essas conversões são definidas pelas regras da linguagem e precisam ser bem controladas para evitar perdas de precisão ou comportamento inesperado.

A checagem de tipos também depende de uma tabela de símbolos, que armazena informações sobre as variáveis, constantes, funções e seus respectivos tipos.

Ao encontrar uma variável em uma expressão, por exemplo, o compilador consulta essa tabela para verificar se ela foi declarada e se o tipo atribuído a ela permite o uso que está sendo feito.

Essa checagem também é usada para funções, garantindo que chamadas sejam feitas com a quantidade e tipos corretos de argumentos.