As linguagens de programação são responsáveis por tirar do papel os algoritmos criados pelo programador e por transformá‑los em programas para serem executados pelos computadores m

Gabarito

Certo

Comentário do professor

A afirmação é certa porque o Java adota tipagem estática e comportamentos de tipagem forte. Isso significa que os tipos das variáveis são definidos na declaração e conferidos pelo compilador em tempo de compilação, antes do programa rodar.

Em prática, o compilador do Java verifica assinaturas de métodos, compatibilidade entre tipos e conversões implícitas, evitando atribuições inválidas e muitos erros que só apareceriam em execução. Essa verificação antecipada aumenta a robustez do código e a segurança do sistema.

Exemplo simples: int numero = 3.15;
O compilador reporta erro de tipos incompatíveis, pois um valor real não cabe em um inteiro sem conversão explícita.

Portanto, afirmar que Java exige definição de tipos em compilação, promovendo detecção precoce de erros, está correto.