Polimorfismo “vero”
esistono tipi “parametrici”
- parametri di tipo “tipo”
- t set, t stack,
- il parametro t può essere istanziato ad un tipo qualunque
- producendo una versione del tipo come int set o int stack stack
in Java non si può fare così
- i tipi sono classi
- le classi non hanno parametri
- tanto meno parametri di tipo classe
il polimorfismo si realizza con le gerarchie