Type

Type may refer to:

In philosophy:

  • Type–token distinction

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

In computing:

  • Typing, producing text via a keyboard
  • Data type, collection of values used for computations
  • Type (command), a DOS command to display contents of a file
  • Type (Unix), a POSIX shell builtin that gives information about commands
  • Type system, defines a programming language's response to data types

In sociology:

  • Ideal type
  • Normal type
  • Typification

Other:

  • Type (band), name of Portuguese DJ and musician Cyz (Cynthia Zamorano)
  • 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

Famous quotes containing the word type:

    To play safe, I prefer to accept only one type of power: the power of art over trash, the triumph of magic over the brute.
    Vladimir Nabokov (1899–1977)

    To put it rather bluntly, I am not the type who wants to go back to the land; I am the type who wants to go back to the hotel.
    Fran Lebowitz (b. 1951)

    This immediate dependence of language upon nature, this conversion of an outward phenomenon into a type of somewhat in human life, never loses its power to affect us. It is this which gives that piquancy to the conversation of a strong-natured farmer or backwoodsman, which all men relish.
    Ralph Waldo Emerson (1803–1882)