Programmation

Le typage est le fait d'attribuer un type aux éléments du code source (variables, fonctions, etc.). Un type définit une structure de données : nombre entier, tableau, chaîne de caractères. Dans certains langages, il existe des types plus évolués (liste chaînée, sémaphore) et il est parfois possible d'en définir de nouveaux.

Les types que l'on trouve dans un langage de programmation dépendent de sa sémantique et donc de ses paradigmes. Beaucoup de langages proposent la notion de variable qui associe un nom à une valeur en mémoire et ce nom ou cette valeur à un type.

Le typage peut être :

Explicite ou implicite
On parle de typage explicite quand les types apparaissent explicitement dans le code source du programme ; un typage implicite est déterminé par le compilateur ou l'interprète.
Fort ou faible
Plus un typage est fort, plus les règles du langage sont strictes et interdisent dès la compilation les manipulations entre données de types différents. On trouve souvent dans les langages typés faiblement la possibilité de faire du transtypage manuel (en anglais cast) pour combler les lacunes du système automatique de typage.
Statique ou dynamique
On parle de typage statique quand la vérification des types se fait dès la phase de compilation, et de typage dynamique lorsque celle-ci est faite durant l'exécution. De plus un typage dynamique associe les types aux valeurs, alors qu'un typage statique associe le type à la variable.

Le typage du langage C est explicite, relativement fort[réf. nécessaire] (le compilateur peut générer des avertissements de typages, le transtypage manuel est permis, mais on peut effectuer n'importe quelle opération entre n'importe quels types sans transtypage), et statique. Le langage OCaml possède un typage implicite, fort et statique (son typeur est le fruit de nombreux travaux de recherche scientifique[4]).

Les langages fournissent parfois des mécanismes pour convertir une valeur d'un type en une valeur dans un autre type : on peut convertir un entier en flottant sans aucune perte mais l'inverse n'est pas toujours possible. Il ne faut pas confondre la conversion avec le transtypage : le mécanisme de conversion transforme effectivement la donnée, par contre le transtypage se contente de modifier le type associé. Ce mécanisme peut être explicite ou implicite.