Introduction II
Remarque
-
le typage dynamique est plus précis
(
if B then 1 else 2+"a", avec B = vrai)
-
le typage statique doit être conservatif
-
trouver des systèmes de type les plus riches possible
On étudie ici les principes du typage statique
Qu'est qu'un type?
-
Un type est une expression d'un langage de types
-
Déclarer un type = introduire un nom de type
-
Définir un type = associer un nom à une exp. de type
Typer une expression
-
Typer = associer un type à une expression
- Typage fort = toute expression a un type et un seul