vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur. Ces types de base sont souvent : Type booléen : valeurs vrai ou faux — ou respectivement 1 ou 0 ; Type entier signé ou non signé : valeurs codées sur 8 bits, 16 bits, 32 bits voire 64 bits. Les caractères sont parfois assimilés à des entiers codés sur 8 ou 16 bits (exemples : C et Java) ; Type réel en virgule flottante. Les langages permettant un accès direct à la mémoire du système offrent par ailleurs le type pointeur, et un type octet. Beaucoup proposent également un type prédéfini, string, pour les chaînes de caractères. Les langages de haut niveau peuvent également supporter nativement des types correspondant à d'autres structures de données. Par exemple la déclaration des pointeurs ou des tableaux en langage C nécessite de préciser le type qui doit servir de base aux données manipulées. La programmation générique étend cette pratique pour permettre à l'utilisateur de créer ses propres types paramétrés. Type énuméré Un type énuméré est un type pour lequel le programmeur spécifie lui-même la liste des valeurs possibles. Le code suivant illustre la définition d'un nouveau type couleur et des trois valeurs possibles (rouge, bleu et vert), suivie de la déclaration et initialisation d'une variable c de ce type : enum couleur { rouge, vert, bleu }; enum couleur c = vert; Les types composés (struct en C, record en Pascal) permettent de grouper plusieurs champs de types distincts dans une même variable (qui contient alors des « sous-variables »). En programmation orientée objet, on nomme classe un type composé associé à du code spécifique — la définition des méthodes de la classe — propre à la manipulation de variables de ce type.