Quelques exemples I
Typer une expression:
parcourir l'expression en associant un type unique à chaque sous-expression
Exemple:
2 + (4 * 5)
2:int
4:int 5:int
4*5:int
2+(4*5):int
Un axiome:
i
:
int
Une règle de déduction:
e
1
:
int
e
2
:
int
e
1
+
e
2
:
int
