type

type (taɪp)
—n
1.	a kind, class, or category, the constituents of which share similar characteristics
2.	a subdivision of a particular class of things or people; sort: what type of shampoo do you use?
3.	the general form, plan, or design distinguishing a particular group
4.	informal a person who typifies a particular quality: he's the administrative type
5.	informal a person, esp of a specified kind: he's a strange type
6.	a.  a small block of metal or more rarely wood bearing a letter or character in relief for use in printing
	b.  such pieces collectively
7.	characters printed from type; print
8.	biology
	a.  the taxonomic group the characteristics of which are used for defining the next highest group, for example Rattus norvegicus (brown rat) is the type species of the rat genus Rattus
	b.  (as modifier): a type genus; a type species
9.	See type specimen
10.	the characteristic device on a coin
11.	linguistics Compare token a symbol regarded as standing for the class of all symbols identical to it
12.	logic a class of expressions or of the entities they represent that can all enter into the same syntactic relations. The theory of types was advanced by Bertrand Russell to avoid the liar paradox, Russell's paradox, etc
13.	philosophy Compare token a universal. If a sentence always has the same meaning whenever it is used, the meaning is said to be a property of the sentence-type
14.	chiefly Christian theol a figure, episode, or symbolic factor resembling some future reality in such a way as to foreshadow or prefigure it
15.	rare a distinctive sign or mark
—vb
16.	to write (copy) on a typewriter
17.	(tr) to be a symbol of; typify
18.	(tr) to decide the type of; clarify into a type
19.	(tr) med to determine the blood group of (a blood sample)
20.	chiefly (tr) Christian theol to foreshadow or serve as a symbol of (some future reality)
[C15: from Latin typus figure, from Greek tupos image, from tuptein to strike]

type

letters carved on them. The meaning "general form or character of some kind, class" is first in Eng. 1843, though it had that sense in L. and Gk. The verb meaning "to write with a typewriter" is attested from 1888. Typewriter in the mechanical sense is attested from 1868; typist is recorded from 1843. Typeface first attested 1887. Type-cast (adj. and v.) with ref. to actors is recorded from 1946, perhaps a deliberate pun on the verbal phrase in the print type founding sense (attested from 1847). To be someone's type "be the sort of person that person is attracted to" is recorded from 1934.

type (tīp)
n.

1. A number of people or things having in common traits or characteristics that distinguish them as a group or class.

2. The general character or structure held in common by a number of people or things considered as a group or class.

3. A person or thing having the features of a group or class.

4. An example or a model having the ideal features of a group or class.

5. A taxonomic group, especially a genus or species, chosen as the representative example in characterizing the larger taxonomic group to which it belongs.

6. The specimen on which the original description and naming of a taxon is based.

v. typed, typ·ing, types
To determine the antigenic characteristics of a blood or tissue sample.

type definition n. a combining form indicating a specified type of person. (Colloquial.) : He's a caveman type. You know, sort of hairy and smelly.

type definition

theory, programming
(Or "data type") A set of values from which a variable, constant, function, or other expression may take its value. A type is a classification of data that tells the compiler or interpreter how the programmer intends to use it. For example, the process and result of adding two variables differs greatly according to whether they are integers, floating point numbers, or strings.
Types supported by most programming languages include integers (usually limited to some range so they will fit in one word of storage), Booleans, floating point numbers, and characters. Strings are also common, and are represented as lists of characters in some languages.
If s and t are types, then so is s -> t, the type of functions from s to t; that is, give them a term of type s, functions of type s -> t will return a term of type t.
Some types are primitive - built-in to the language, with no visible internal structure - e.g. Boolean; others are composite - constructed from one or more other types (of either kind) - e.g. lists, arrays, structures, unions. Object-oriented programming extends this with classes which encapsulate both the structure of a type and the operations that can be performed on it.
Some languages provide strong typing, others allow implicit type conversion and/or explicit type conversion.
(2003-12-22)

Type definition

occurs only once in Scripture (1 Cor. 10:11, A.V. marg.). The Greek word _tupos_ is rendered "print" (John 20:25), "figure" (Acts 7:43; Rom. 5:14), "fashion" (Acts 7:44), "manner" (Acts 23:25), "form" (Rom. 6:17), "example" or "ensample" (1 Cor. 10:6, 11; Phil. 3:17; 1 Thess. 1:7; 2 Thess. 3:9; 1 Tim. 4:12). It properly means a "model" or "pattern" or "mould" into which clay or wax was pressed, that it might take the figure or exact shape of the mould. The word "type" is generally used to denote a resemblance between something present and something future, which is called the "antitype."