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:

    “People forget that it is the eye that makes the horizon, and the rounding mind’s eye which makes this or that man a type or representative of humanity with the name of hero or saint.”
    —Ralph Waldo Emerson (1803–1882)

    “How is freedom measured, in individuals as in nations? By the resistance which has to be overcome, by the effort it costs to stay aloft. One would have to seek the highest type of free man where the greatest resistance is constantly being overcome: five steps from tyranny, near the threshold of the danger of servitude.”
    —Friedrich Nietzsche (1844–1900)

    “The type of fig leaf which each culture employs to cover its social taboos offers a twofold description of its morality. It reveals that certain unacknowledged behavior exists and it suggests the form that such behavior takes.”
    —Freda Adler (b. 1934)