Introduction III

Introduction III

Vérification des types

le programmeur associe un type à chaque déclaration d'identificateur et le compilateur vérifie la correction (e.g, C, C++, Pascal, Ada,...)

int addition (int x1, int x2)
{  int temp;
   temp = x1 + x2;
   return(temp); }

Synthèse des types

les types sont devinés (on dira synthétisés ou inférés) par le compilateur par une analyse des contraintes d'utilisation des variables (e.g, Caml, SML,...)

#let addition x1 x2 =
   let temp = x1 + x2 in
   temp;;
addition : int -> int -> int = <fun>