Polimorfismo in Java
espresso attraverso la gerarchia di tipi
gli argomenti e le variabili di istanza
- rispetto ai quali si vuole essere polimorfi
vengono dichiarati appartenere ad un supertipo (tipo apparente!)
i valori effettivi potranno appartenere ad un qualunque sottotipo
il polimorfismo di Java è molto più debole di quello offerto da linguaggi in cui esistono davvero “i tipi polimorfi” (ML)
- poco supporto da parte del compilatore
- possibili eccezioni a tempo di esecuzione (casting)