Le typage de CAML VIII
Les variables de type non déterminées sont généralisées.
Env |- function x -> x : a.a ® a
Schéma de type:
expression de type dont certaines variables, notées 'a, sont
quantifiées universellement en tête de l'expression:
a. a ® a. Les variables non
quantifiées, notées _'a, sont dites libres.
Type:
expression de type sans quantificateur.
Type monomorphe:
type ne contenant pas de variable de type
Type polymorphe:
schéma de type
Instancier un schéma de type:
remplacer les variables
universellement quantifiées par une expression de type.
Généraliser un type dans Env:
quantifier universellement
les variables du type qui ne sont pas libres dans Env.