Procedure polimorfe
stesse tecniche anche per rendere polimorfa l’astrazione procedurale
si astrae dal tipo dei parametri formali
per l’implementazione, stesse possibilità dell’astrazione sui dati
- utilizza solo i metodi che tutti gli oggetti hanno, cioè quelli definiti da Object
- usa un’interfaccia
- supertipo del tipo dei parametri (element subtype)
- supertipo di un tipo collegato al tipo dei parametri (related subtype)