Typing
The concept of types derives from abstract datatypes.
"Typing is the enforcements of the class of an object, such that objects of different types may not be interchanged, or at the most, they may be interchanged only in very restricted ways."
- More effective object code.
- A class is a complex type.