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:

    “We need a type of theatre which not only releases the feelings, insights and impulses possible within the particular historical field of human relations in which the action takes place, but employs and encourages those thoughts and feelings which help transform the field itself.”
    —Bertolt Brecht (1898–1956)

    “The real American type can never be a ballet dancer. The legs are too long, the body too supple and the spirit too free for this school of affected grace and toe walking.”
    —Isadora Duncan (1878–1927)

    “Are God and Nature then at strife,
    That Nature lends such evil dreams?
    So careful of the type she seems,
    So careless of the single life;”
    —Alfred Tennyson (1809–1892)