Quelques exemples III

Quelques exemples III

Un programme est bien typé lorsque l'on peut construire une telle déduction

Typer:

2 + (true * 5)

2:int

true:bool 5:int

true*5:?

2+(true * 5):?

Question:

Que faire en présence d'identificateurs?

#let x = 1;;
x : int = 1
#let y = 2 + (4 * x);;
y : int = 6

On introduit l'environnement de typage.