Gerarchie di tipo

• fornite da alcuni linguaggi ad alto livello moderni

  • per esempio, Java

• permettono di astrarre gruppi di astrazioni di dati (tipi) a famiglie di tipi

• i tipi di una famiglia condividono alcune operazioni

  • definite nel supertype, di cui tutti i tipi della famiglia sono subtypes

• una famiglia di tipi astrae i dettagli che rendono diversi tra loro i vari tipi della famiglia

• in molti casi, il programmatore può ignorare le differenze

Previous slide

Next slide

Back to first slide

View graphic version