Um profundo conhecedor de linguagens de programação deu um parecer sobre um conceito. Qual das afirmações abaixo expressa, corretamente, esse parecer?
- A. Em uma linguagem de programação, vinculações de atributos a variáveis podem ser estáticas se ocorrerem durante a execução do programa, ou dinâmicas se ocorrerem antes de execução e permanecerem inalteradas.
- B. Variáveis podem ser declaradas explícita ou implicitamente e, independente do tipo da declaração, elas criam vinculações estáticas a seus respectivos tipos de dados.
- C. Uma linguagem de programação é fortemente tipificada se erros de tipo sempre forem detectados, o que exige que os tipos de todos os operandos possam ser determinados durante a compilação, mas não necessariamente em tempo de execução.
- D. Uma variável declarada com tipo de dado X em um escopo global não pode ser redeclarada em um escopo local com tipo de dado diferente de X.
- E. Os conceitos de coesão e acoplamento são complementares, ou seja, em um projeto de software, se o acoplamento for baixo, fatalmente sua coesão será alta e vice-versa.