Data/hora: 13/06/2024 04:27:44

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 19/02/1998
Data da última atualização: | 20/09/2007
Autoria: | VALENTE, M. T. de O.; BIGONHA, R. da S.
Título: | Covariancia x contravariancia: a solução de Ita.
Ano de publicação: | 1996
Fonte/Imprenta: | In: SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO, 1., 1996, Belo Horizonte. Anais. Belo Horizonte: SBC / UFMG, 1996.
Páginas: | p.333-345
Idioma: | Português
Conteúdo: | Uma questão importante no projeto do sistema de tipos de uma linguagem orientada por objetos e determinar como a assinatura de um método pode ser redefinida em uma subclasse. Existem tres possibilidades, chamadas de regras da contravariancia, da invariancia ou da covariancia. A regra da contravariancia, adotada em Sather, e a que garante a correção do sistema de tipos. Ja covariancia, adotada em Eiffel, apesar de mais flexivel, permite a formação de expressões com erros de tipo de dificil detecção. Para solucionar este impasse entre contravariancia e covariancia, propõe-se uma nova regra, chamada de contravariancia guardada, implementada na linguagem Ita. Tal regra defende o uso de verificação dinâmica de tipos ao estilo de Oberon-2.
Palavras-Chave: | Linguagens de programação; Programming languages.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (6635-1) - ADD - PL - -- - 005.13 - SIM - 1996.00015 - DIS