Typsystem |
---|
Allmänt |
Huvudkategorier |
Övriga kategorier |
Se även |
Den här artikeln behöver källhänvisningar för att kunna verifieras. (2020-12) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
Ett typsystem definierar inom datavetenskapen hur ett programspråk klassificerar värden och uttryck som typer, hur det kan manipulera dessa och hur de kan interagera med varandra.