Type may refer to:

Science and technology

Computing

* Typing, producing text via a keyboard, typewriter, etc. *

Data type In computer science and computer programming, a data type (or simply type) is a set of possible values and a set of allowed operations on it. A data type tells the compiler or interpreter how the programmer intends to use the data. Most prog ...

, collection of values used for computations. * File type * 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 In computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that ...

, the extent to which a programming language discourages or prevents type errors. * Type system, defines a programming language's response to data types.

Mathematics

* Type (model theory) *

Type theory In mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a founda ...

, basis for the study of type systems * Arity or type, the number of operands a function takes * Type, any proposition or set in the

intuitionistic type theory Intuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician an ...

* Type, of an entire function ** Exponential type

Biology

Type (biology) In biology, a type is a particular specimen (or in some cases a group of specimens) of an organism to which the scientific name of that organism is formally attached. In other words, a type is an example that serves to anchor or centralizes th ...

, which fixes a scientific name to a taxon *

Dog type Dog types are broad categories of domestic dogs based on form, function, or style of work, lineage, or appearance. Some may be locally adapted dog types (or ''landraces'') that may have the visual characteristics of a modern purebred dog. In c ...

, categorization by use or function of domestic dogs

Lettering

* Type is a design concept for lettering used in

typography Typography is the art and technique of arranging type to make written language legible, readable and appealing when displayed. The arrangement of type involves selecting typefaces, point sizes, line lengths, line-spacing ( leading), a ...

which helped bring about modern textual printing in the publishing industry * Type can refer to a

font In metal typesetting, a font is a particular size, weight and style of a typeface. Each font is a matched set of type, with a piece (a " sort") for each glyph. A typeface consists of a range of such fonts that shared an overall design. In ...

style, e.g., "italic type" *

Movable type Movable type (US English; moveable type in British English) is the system and technology of printing and typography that uses movable components to reproduce the elements of a document (usually individual alphanumeric characters or punctuatio ...

, in letterpress printing *

Sort (typesetting) In typesetting, a sort or type is a block with a typographic character etched on it, which is lined up with others to print text. In movable-type printing, the sort or type is cast from a matrix mold and assembled by hand with other sorts ...

, in letterpress printing *

Typesetting Typesetting is the composition of text by means of arranging physical ''type'' (or ''sort'') in mechanical systems or '' glyphs'' in digital systems representing ''characters'' (letters and other symbols).Dictionary.com Unabridged. Random ...

, the composition of text by means of arranging types *

Typeface A typeface (or font family) is the design of lettering that can include variations in size, weight (e.g. bold), slope (e.g. italic), width (e.g. condensed), and so on. Each of these variations of the typeface is a font. There are thousands ...

, the overall design of lettering used in a collection of related fonts * Type design, the art and process of designing typefaces * Type foundry, a company that designs or distributes typefaces *

Typewriter A typewriter is a mechanical or electromechanical machine for typing characters. Typically, a typewriter has an array of keys, and each one causes a different single character to be produced on paper by striking an inked ribbon selecti ...

, a mechanical or electromechanical machine for writing characters similar to those produced by a printer's movable type

Sociology

* Ideal type * Normal type * Typification

Other uses

* Type (acting), a way of characterizing an actor by the sort of role they are well-suited for or fit into easily, or by their performance style * Type & antitype, in Typology, in Christian theology and Biblical exegesis * "Type" (song), a 1990 song by the band Living Colour * Type (designation), a model numbering system used for vehicles or military equipment ** Type Museum, museum about the above * Architectural type, classification of architecture by functional types (houses, institutions), morphological types or historical types

Architectural style An architectural style is a set of characteristics and features that make a building or other structure notable or historically identifiable. It is a sub-class of style in the visual arts generally, and most styles in architecture relate closely ...

subcategories *

U.S. Navy type commands U.S. Navy type commands perform administrative, personnel, and operational training functions in the United States Navy for a "type" of weapon system (e.g., naval aviation, submarine warfare, surface warships) within a fleet organization. Aircraf ...

, senior commands for the specific "type" of weapon system (i.e., naval aviation, submarine warfare, surface warships) employed * Type of Constans, a 648 edict issued by Byzantine Emperor Constans II * Type (metaphysics), in philosophy * Type-token distinction, in logic, linguistics, and computer programming