Type may refer to:

Science and technology

Computing

Typing Typing is the process of writing or inputting text by pressing keys on a typewriter, computer keyboard, mobile phone or calculator. It can be distinguished from other means of text input, such as handwriting and speech recognition. Text can b ...

, 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 progra ...

, collection of values used for computations. *

File type A file format is a Computer standard, standard way that information is encoded for storage in a computer file. It specifies how bits are used to encode information in a digital storage medium. File formats may be either proprietary format, pr ...

* TYPE (DOS command), a command to display contents of a file. *

Type (Unix) In Unix and Unix-like operating systems, type is a command that describes how its arguments would be interpreted if used as command names. Function Where applicable, type will display the command name's path. Possible command types are: * shell ...

, 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 In computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer progra ...

, defines a programming language's response to data types.

Mathematics

Type (model theory) In model theory and related areas of mathematics, a type is an object that describes how a (real or possible) element or finite collection of elements in a mathematical structure might behave. More precisely, it is a set of first-order formulas in ...

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 foundat ...

, basis for the study of type systems *

Arity Arity () is the number of arguments or operands taken by a function, operation or relation in logic, mathematics, and computer science. In mathematics, arity may also be named ''rank'', but this word can have many other meanings in mathematics. In ...

or type, the number of operands a function takes * Type, any proposition or set in the intuitionistic type theory * 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 the ...

, which fixes a scientific name to a taxon * Dog type, 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), and ...

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 mod ...

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 be ...

, 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 Ho ...

, 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 list of type ...

, the overall design of lettering used in a collection of related fonts *

Type design Type design is the art and process of designing typefaces. This involves drawing each letterform using a consistent style. The basic concepts and design variables are described below. A typeface differs from other modes of graphic production su ...

, the art and process of designing typefaces *

Type foundry A type foundry is a company that designs or distributes typefaces. Before digital typography, type foundries manufactured and sold metal and wood typefaces for hand typesetting, and matrices for line-casting machines like the Linotype and Mono ...

, 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 selectivel ...

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

Sociology

Ideal type Ideal type (german: Idealtypus), also known as pure type, is a typological term most closely associated with sociologist Max Weber (1864–1920). For Weber, the conduct of social science depends upon the construction of abstract, hypothetical co ...

Normal type Normal type (in German: ''Normaltyp'') is a typological term in sociology coined by the German sociologist Ferdinand Tönnies (1855–1936). It can be considered both as a forerunner of, and a challenge to, the rather better known concept of ...

Typification Typification is a process of creating standard (''typical'') social construction based on standard assumptions. Discrimination based on typification is called typism. See also * Ideal type * Normal type *Typology Typology is the study of types o ...

Other uses

Type (acting) In film, television, and theatre, typecasting is the process by which a particular actor becomes strongly identified with a specific character, one or more particular roles, or characters having the same traits or coming from the same social or ...

, 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) The word "type" followed by a number is a common way to name a weapon or product in a production series, similar in meaning to "mark". "Type" was used extensively by the Japanese and Chinese militaries beginning in the 1920s, and is still in curre ...

, 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. Aircraft ...

, senior commands for the specific "type" of weapon system (i.e., naval aviation, submarine warfare, surface warships) employed *

Type of Constans The ''Typos'' of Constans (also called ''Type'' of Constans) was an edict issued by eastern Roman emperor Constans II in 648 in an attempt to defuse the confusion and arguments over the Christological doctrine of Monotheletism. For over two cent ...

, a 648 edict issued by Byzantine Emperor Constans II * Type (metaphysics), in philosophy * Type-token distinction, in logic, linguistics, and computer programming