Data type

type type safe intertype schema classification composite type covariance typedef type punning typechecking typecast type system variant typecheck primitive type subtype type erasure optional multidimensional array pseudo type reflect on abstract data type built in type pseudotype nominative type system tuple value type clu value numeric promotion shape operation append typestate mapping typechecker generic castable enumeration typelessness store hungarian notation narrowing conversion strong typing datetime catamorphism polymorphic double dispatch overloading typed supertype category flyweight pattern forward declaration type coercion primitive widening conversion weak typing variable