Retour
Cours précédent

Équivalence structurelle des TypeExpr

Un unificateur est une procédure qui remplace une variable par un type.

Coercition (cast)

Contraindre le type pour le rendre compatible avec ce que le contexte impose. Une conversion est faite durant l’exécution.

Surcharge (overload)

Définition multiple d’une opération ou d’une fonction qui dépend du type des arguments.

Polymorphisme

Morceau de code que l’on peut exécuter avec des arguments de types différents.

Retour
Cours précédent