Geef een definitie van de begrippen waarde en type.

Een waarde is elke entiteit die tijdens het verwerken van een programma kan
worden uitgerekend of opgeslagen, opgenomen kan worden in een
gegevensstructuur, meegegeven kan worden als parameter, resultaat is van een
functieaanroep, enzovoort.
Anders gezegd: een waarde kunnen we beschouwen als een entiteit die kan
bestaan tijdens een berekening.
Een type is een verzameling waarden die door gemeenschappelijke eigenschappen
van die waarden is gekarakteriseerd. Onder gemeenschappelijke eigenschappen
vallen de operaties die op de waarden kunnen worden toegepast.