With respect to computing a type states how a programming language may use values and expressions for manipulation. More specifically, a type identifies a value or set of values as having a particular meaning or purpose when collected from an environment; it is a classification. For example types may be represented as numbers, words, or images that should be managed by a system.