Betekenis - typenleer

Typenleer is een onderdeel van de informatica dat zich richt op het begrijpen en analyseren van de relaties tussen verschillende soorten gegevens. Het doel is om te begrijpen hoe gegevens worden gebruikt, opgeslagen en verwerkt in een computerprogramma. Typenleer maakt gebruik van verschillende technieken, zoals type-inferring, type-checking en type-casting om te bepalen welke gegevenstypen worden gebruikt in een programma.