Dérivation de types complexes

• Définition de sous-types par héritage :

• Par extension : ajout d'informations
• Par restriction : ajout de contraintes

• Possibilité de contraindre la dérivation :

• Final : interdit la dérivation du type
• Block : empêche la substitution de types