questionario-cap-7

Prévia do material em texto

Referência Base da Disciplina de LP 
 
 
VAREJÃO, Flávio Miguel. Linguagens de 
Programação Java, C, C++ e outras. Elsevier 
Editora Ltda. Rio de Janeiro. 2004. 
Sítios na Web 
http://www.inf.ufes.br/~fvarejao/livroLP.html 
Versão digital da bibliografia base da disciplina: 
http://www.inf.ufes.br/%7Efvarejao/lp/LivroLP.zip 
Erratas da bibliografia base da disciplina 
http://www.inf.ufes.br/%7Efvarejao/lp/Erratas.pdf 
 
Questões Relativas ao Capítulo 7 
1. O que os tipos de dados definem? 
2. Explique porque as linguagens de máquina são consideradas linguagens 
não tipadas. 
3. Para que serve um sistema de tipos? 
4. Explique verificação de tipos? 
5. Porque a verificação a priori é recomendada? 
6. Explique e cite exemplos de linguagens estaticamente tipadas. 
7. Explique e cite exemplos de linguagens dinamicamente tipadas. 
8. Explique e cite exemplos de linguagens fortemente tipadas. 
9. Explique, exemplifique e cite exemplos de LPs que realizam a inferência de 
tipos. 
10. Quais são os tipos de equivalência? 
11. Dê exemplos das equivalências estruturais: 
a. Se T e T’ são tipos primitivos, então T e T’ devem ser idênticos. 
b. Se T e T’ são produtos cartesianos e T=AxB e T’=A’xB’, então A≡B e 
A’≡B’. 
c. Se T e T’ são uniões e T=A+B e T’=A’+B’, então A≡A’ e B≡B’ ou A≡B’ 
e B≡A’. 
d. Se T e T’ são mapeamentos e T=A→B e T’=A’→B’, então A≡A’ e 
B≡B’. 
12. O que é um sistema monomórfico? 
13. O que é um sistema polimórfico? 
14. O que é polimorfismo? 
15. Apresente a classificação dos tipos de polimorfismo. 
16. Quando o polimorfismo adhoc ocorre? 
17. Quando o polimorfismo universal ocorre? 
18. O que é polimorfismo de coerção? 
19. O que é polimorfismo de sobrecarga (overloading)? 
20. O que é polimorfismo paramétrico? 
21. O que é polimorfismo por inclusão? 
22. O que seria uma herança simples? Exemplifique. 
23. O que seria uma herança múltipla? Exemplifique. 
24. O que são metaclasses? 
25. O que são classes abstratas? 
26. Quais as vantagens da utilização de classes abstratas?