Typer les expressions

Des langages comme Pascal, C, Ada, C++ et Java sont dits fortement typés. Tout nom de variable doit être déclaré avec son type, tout nom de fonction ou de méthode doit être déclaré avec le type de ses arguments et le type de son résultat. Ceci permet d'une part de déterminer la quantité de mémoire nécessaire pour représenter un objet (par exemple, un entier est représenté sur 4 octets, un flottant en double précision sur 8 octets). D'autre part, ces déclarations permettent de vérifier que les expressions sont correctement typées, et que par exemple, on n'invoque pas une fonction avec un argument numérique alors qu'elle a été déclarée avec un paramètre de type tableau. Pour certains langages, comme CAML, le type des expressions peut même être déterminé sans qu'il soit nécessaire de déclarer le type des noms ; pour la plupart des autres, comme Java, la déclaration préalable des noms est essentielle. Ces vérifications sont faites par le compilateur, donc avant l'exécution (on dit qu'elles sont statiques) : c'est le typage des expressions. En Java, les types des expressions sont répartis en quatre grandes catégories : les types primitifs, les types de tableaux, les classes et les interfaces.