Uma linguagem de programação fortemente tipificada permite que

erros de tipo sejam desconsiderados pelo compilador.

os tipos sejam vinculados dinamicamente em tempo de execução.

programadores violem as regras de verificação de tipos através do uso da função unchecked().

funções sejam implementadas com parâmetros que não são verificados quanto ao tipo.

valores de tipos incorretos em variáveis sejam detectados em tempo de execução.