Typer les expressions

Un langage admet un typage statique s'il est possible de vérifier à la compilation la cohérence des types de toutes les expressions, et ainsi d'éliminer la possibilité d'erreurs à l'exécution dues à des opérations qui ne respecteraient pas les contraintes de type. Le typage statique est un critère de sécurité essentiel. La plupart des langages de programmation contemporains admettent un typage statique plus ou moins strict : Pascal, Ada, C, Caml, Java (mais ce n'est pas le cas de Lisp et de Prolog). Pour permettre cette vérification, tout nom de variable doit être déclaré avec son type, tout nom de fonction doit être déclaré avec le type de ses arguments et son type de retour. 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 déclarations de type permettent d'une part de déterminer la quantité de mémoire nécessaire pour représenter une donnée (par exemple, un entier est représenté sur 4 octets, un flottant en double précision sur 8 octets) et d'autre part, 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.