The programming language answer to the question "what … to the questioner. The primary dichotomy is between … types as kinds of behavior. Deeper analysis yields … and behavior. system evolution (object-oriented) view: types are … a suit of clothes (suit of armor) to … ensure operator/operand compatibility. type inference view: a type … that reflects the set of all meaningful contexts … type are required to satisfy. implementer's view: types … [colons and periods added]
Google-1
Google-2
Copyright clearance needed for quotation.