n. m.
[type (données)] Opération consistant à donner un type à une donnée. Le typage peut être fort ou faible, selon qu'on insiste lourdement ou pas sur la nécessité de le respecter (il est interdit d'additionner des carottes et des choux en Ada, il est possible de le faire en C).