Todos os algoritmos, depois de transcritos para linguagens de programação, ou já criados nelas, têm a função de manipular informações retornadas das bases de dados. As linguagens de programação apresentam variações na definição dos tipos de dados. Dependendo da linguagem de programação, o tipo de um dado é verificado diferentemente, de acordo com a análise léxica, sintática e semântica do compilador ou interpretador da linguagem. Sobre os tipos de dados, analise as afirmativas a seguir:

I- Nas linguagens de programação categorizadas como fracas (Java, Pascal, SQL), o tipo de dado de um valor deve, obrigatoriamente, ter o mesmo tipo de dado da variável.

II- Os tipos primitivos (nativos ou básicos) são fornecidos pelas linguagens de programação.

III- Os tipos de dados compostos podem ser construídos tendo como base os dados primitivos ou também outros tipos de dados compostos.

IV- A verificação na forma dinâmica ocorre em tempo de execução. Em Lisp, PHP e Python os dados são dinâmicos.

Assinale a alternativa CORRETA: