<Dt> Representation and behaviour </Dt> <Dd> A type is defined as its representation and a set of operators manipulating these representations . </Dd> <Dd> A type is a set of possible values which a variable can possess . Such definitions make it possible to speak about (disjoint) unions or Cartesian products of types . </Dd> <Dt> Value space and behaviour </Dt>

Why is it important to assign data types in programming