CompilationTypeType In a programming language, a type is a description of a set of values and a set of allowed operations on those values.