Com relação a verificação de tipos, qual das afirmativas a seguir é incorreta? A) A checagem estática de tipos é feita em tempo de compilação, co...

Com relação a verificação de tipos, qual das afirmativas a seguir é incorreta?


A) A checagem estática de tipos é feita em tempo de compilação, como é o caso da linguagem C, quando compilada;
B) A checagem de tipos dinâmica é feita em tempo de execução, como é o caso da linguagem PHP, quando interpretada;
C) Linguagens de programação podem exigir a definição de tipo para cada variável ou estrutura de dados composta ou, podem determinar estes tipos em tempo de execução, dependendo de escolhas realizadas na definição da linguagem;
D) A definição de tipos complexos, como listas e pilhas, independe da linguagem de programação e, como tal, estes tipos podem ser verificados por qualquer analisador semântico;
E) Ainda que tipos complexos e compostos tornem o processo de análise semântica mais complexo e demorado, as funcionalidades que são agregadas as linguagens de programação por estes constructors torna sua utilização indispensável.