Introduction IV
``le programme P est de type ty''
P : ty
Vérification
-
vérifier que ty est un type valide pour P
Synthèse
Intérêts de la synthèse
-
concision, simplicité, facilité d'écriture
-
généralité plus grande des programmes
-
Un algorithme fondamental de l'informatique (IA)