Tipi di astrazione
parametrizzazione e specifica permettono di definire vari tipi di astrazione
- astrazione procedurale
- si aggiungono nuove operazioni a quelle della macchina astratta del linguaggio di programmazione
- astrazione di dati
- si aggiungono nuovi tipi di dato a quelli della macchina astratta del linguaggio di programmazione
- iterazione astratta
- permette di iterare su elementi di una collezione, senza sapere come questi vengono ottenuti
- gerarchie di tipo
- permette di astrarre da specifici tipi di dato a famiglie di tipi correlati