En programmation, les types des données sont utilisées pour regrouper en catégories bien distinctes les valeurs (données) qu'on veut manipuler. Cette caractérisation cherche à distinguer les données selon leur nature (entiers, réels, chaînes de caractères, etc), dans une classification qui est (biensûr) sémantique. En dehors des types pre-définis, qui correspondent aux valeurs les plus courantes, beaucoup de langages autorisent le programmeur à créer ses propres types des données.