C est un langage typé. Les variables possèdent un type (ensemble de valeurs, ensemble d'opérations). Les fonctions ont des paramètres typés et rendent un résultat typé.

Il existe :

• un certain nombre de types de base qui sont prédéfinis ;
• et des types dits dérivés, en fait les types construits par le programmeur à l'aide de constructeurs de types (pointeurs, tableaux, structure, unions, fonctions et énumérations).

Il y aussi le type void  (le type qui ne correspond à rien).

Et il y a la notation typedef qui permet de donner à un type un nouveau nom.