Type

Look up type in Wiktionary, the free dictionary.

Type may refer to:

In philosophy:

• Type (metaphysics), a concept contrastable with an instance (occurrence) or a token.

See also Type-token distinction for further discussion of the type–token distinction

In theology:

• Type & Antitype in Typology (theology)

In mathematics:

• Type (model theory)
• Type theory, basis for the study of type systems
• Type or arity, the number of operands a function takes
• Type, any proposition or set in the intuitionistic type theory
• The type of an entire function, see also exponential type

In computing:

• Typing, producing text via a keyboard
• Data type, collection of values used for computations
• TYPE (DOS command), a command to display contents of a file
• Type (Unix), a command in POSIX shells that gives information about commands
• Type safety, the extent to which a programming language discourages or prevents type errors
• Type system, defines a programming language's response to data types

In sociology:

• Ideal type
• Normal type
• Typification

Other:

• Type (song), a 1990 song by the band Living Colour
• Type (designation), a model numbering system used for vehicles or military equipment
• Typeface, used in typesetting
  • Sort (typesetting), cast metal type for printing
  • Type Museum, museum about the above
• Architectural type, classification of architecture by functional types (houses, institutions), morphological types or historical types Architectural style subcategories
• Dog type, categorization by use or function of domestic dogs
• Type (biology), which fixes a scientific name to a taxon
• U.S. Navy type commands, senior commands for the specific "type" of weapon system (i.e., naval aviation, submarine warfare, surface warships) employed

See also

• Typology (disambiguation), the study of types
• Categorization
• Kind (disambiguation)