Utilizzazione delle astrazioni polimorfe: compilazione e casting
tre diversi modi di fare insiemi (omogenei) di interi
- la classe IntSet in Java
- i metodi prendono come argomenti e ritornano solo interi
- il tutto è controllato staticamente dal compilatore
- inserendo Integers nella classe Set in Java
- i metodi devono fare il casting e controllare che la collezione sia omogenea
- il compilatore non può aiutare
- gli “errori di tipo” si rilevano come Eccezioni di Cast a tempo di esecuzione
- istanziando il tipo parametrico t set a int set in ML
- il compilatore tratta realmente il tipo parametrico e le sue istanze
- è in gradi di rilevare staticamente errori di tipo come se avessi IntSet