Le typage de CAML I

Le typage de CAML I

Constantes

Env |- true : bool

Env |- false : bool

Env |- 42 : int

Identificateurs

(Ident)

acces (x,Env) = ty

Env |- x : ty

Conditionnelle

if cond then e1 else e2

(Cond)

Env |- cond : bool Env |- e1 : ty Env |- e2 : ty

Env |- if cond then e1 else e2 : ty