Questão de TI - Desenvolvimento de Sistemas — Funcionamento, Propriedades e Classificação das Linguagens de Programação — FUNDATEC 2025
TI - Desenvolvimento de SistemasFuncionamento, Propriedades e Classificação das Linguagens de Programação
- Código
- qa699558
- Banca
- FUNDATEC
- Órgão
- SBC
- Ano
- 2025
- Cargo
- POSCOMP ( )
Considerando os conceitos de verificação de tipos e inferência de tipos em linguagens de programação, assinale a alternativa correta.
- AA verificação de tipos estática ocorre em tempo de execução e é comumente utilizada em linguagens de script como Python e JavaScript para identificar erros de tipo.
- BA inferência de tipos é um recurso que exige que o programador declare explicitamente o tipo de cada variável e expressão, aumentando a verbosidade do código.
- CLinguagens com verificação de tipos dinâmica não detectam erros de tipo até que a parte do código com o erro seja executada, o que pode levar a falhas em produção.
- DA inferência de tipos geralmente compromete a segurança de tipos, pois o compilador (ou interpretador) pode fazer suposições incorretas sobre os tipos das variáveis.
- EA verificação de tipos forte é sinônimo de verificação de tipos estática, garantindo que todos os erros de tipo sejam detectados antes da execução do programa.