ABSTRACT
Types are to computing what dimensional units are to physics and chemistry. In physics, units are grams, volts, joules, calories, and degrees, to name a few. In computing there are bits, bytes, terabytes, functions, records, and other nomenclature. Any programming language needs notation and terminology to name the basic units for talking about programs. The choices of such names and units are often hotly debated by the individuals who create and embellish the language. Naming and classification is intrinsic to every specialized discipline, from law to biology to theology. Computing is just another specialized area of study.
