A type system defines how a programming language classifies values and expressions into types, how it can manipulate those types and how they interact.
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.