Le typage de CAML IX
Typage d'une expression ne contenant que des identificateurs connus
Cas monomorphe: déjà vu.
Cas polymorphe:
a1 ... an.typ
instancier chaque ai par une nouvelle variable de type
ti.
On modifie la règle de typage des variables.
|
(Instance) |
| instancier (acces (x,Env)) = ty |
|
|
|
|
instancier ( a1,...,an.t) =
t[t1/a1,...,tn/an]
Donc, maintenant, l'environnement est une liste d'association
(idf, schéma de type).