1.a subdivision of a particular kind of thing;
what type of sculpture do you prefer?
2.a person of a specified kind (usually with many eccentricities);
a real character
3.(biology) the taxonomic group whose characteristics are used to define the next higher taxon
4.printed characters;
small type is hard to read
5.a small metal block bearing a raised character on one end; produces a printed character when inked and pressed on paper;
he dropped a case of type, so they made him pick them up
6.all of the tokens of the same symbol;
the word `element' contains five different types of character
1.write by means of a keyboard with types;
type the acceptance letter, please
2.identify as belonging to a certain type;
Such people can practically be typed
类型(type)以及类型系统的起源以及研究与发展是独立于OOP的。早在五十年代的FORTRAN语言编译器实现中,就已经采用类型系统作为类型检查的一种手段。广义的类型一般被定义为一种约束,也就是一种逻辑公式。