COMPATIBILIT¿ DI TIPO
Consiste nella possibilitý di usare, entro certi limiti, oggetti di un tipo al posto di oggetti di un altro tipo.
Un tipo T1 Ë compatibile con un tipo T2 seil dominio D1 di T1 Ë contenuto nel dominio D2 di T2.
- int Ë compatibile con float perchÈ Z _ R
- ma float non Ë compatibile con int