Algebraisk datatyper ( rammestyrte dumpere ) er en slags form for identifikatorer som brukes i C + + og andre programmeringsspråk. Det er en umiddelbar og praktisk måte å programmere slik at programmerere kan raskt lage effektiv og nyttig programvare . Det er fem store algebraiske datatyper . Unit Type

En enhet type er en ADT som har nøyaktig én mulig verdi. ADT har bare verdien 1 , og det er en primitiv enhet type. Symbolet på denne ADT er også nummer en .
Produkt Operation

Et produkt drift overbringer tanken om et produkt av en data type " A" og et element av data type " B ", slik at mengden av data inneholder et element av hver enkelt. Symbolet for et produkt operasjonen er en sirkel med en "X " i midten som ser ut som en multiplikasjon tegn.
Sum Operations

Symbolet for sum operasjoner vises som en sirkel med et plusstegn i midten. I likhet med produktet operasjoner , den representerer summen av to datatyper " A " og " B " med hver datatype representert i det nye datasettet
Type Funksjoner : . = And :: =
med

type funksjoner er den fjerde og femte type algebraiske datatyper . De tillater en bruker å lage gjenbrukbare typer. En type funksjon med symbolet " :: = " betyr at løsningen må være lik hverandre og det er ingen andre muligheter. Men symbolet ": =" . Betyr at løsningen er like, men er ikke den eneste muligheten