Précédent Index Suivant


Le typage de CAML IV


Déclarations globales

let idf = exp;; 

#let x = 1;;
x : int = 1
#let y = x+x;;
y : int = 2
#let y = y+2;;
y : int = 4
  1. Typage dans l'env. global courant Env
  2. typage de exp
    Env  |-  exp : ty
  3. le nouvel environnement global Env' = ë (idf:ty) <|  Env û
Précédent Index Suivant