I programmering er en en datatype som består av en mengde med navngitte verdier kalt eller av typen. Navnene på oppregningen er vanligvis identifikatorer som oppfører seg som konstanter i språket. En oppregnet type kan sees på som en degenerert disjunkt union av enhetstype. En variabel som har blitt erklært som oppregnet type kan tildeles hvilken som helst av de oppregnede medlemmene som verdi. Med andre ord har en oppregnet type verdier som er forskjellige fra hverandre, og som kan sammenlignes og tilordnes, men som ikke er spesifisert av programmereren å ha noen spesiell konkret representasjon i datamaskinens minne. Følgelig kan kompilatorer og kommandotolker representere dem vilkårlig. En oppregningstype ligner på en kategorisk variabel i statistikk.