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 recognition, handwriting and speech ...

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

Data type In computer science and computer programming, a data type (or simply type) is a collection or grouping of data values, usually specified by a set of possible values, a set of allowed operations on these values, and/or a representation of these ...

, 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, 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'' (for example, integer, floating point, string) to every '' term'' (a word, phrase, or other set of symbols). Usu ...

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

Mathematics

* Type (model theory) *

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

, basis for the study of type systems *

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

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 associated. In other words, a type is an example that serves to anchor or centralizes ...

, which fixes a scientific name to a taxon *

Dog type Dog types are broad categories of domestic dogs based on form, function, 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 cont ...

, 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 Typesetting, arranging type to make written language legibility, legible, readability, readable and beauty, appealing when displayed. The arrangement of type involves selecting typefaces, Point (typogra ...

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'', defined as the set of fonts that share an overall design. For instance, the typeface Bauer Bodoni (shown in the figure) includes fonts " Roman" (or "regul ...

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 Sort (typesetting), components to reproduce the elements of a document (usually individual alphanumeric charac ...

, in letterpress printing * Sort (typesetting), in letterpress printing *

Typesetting Typesetting is the composition of text for publication, display, or distribution by means of arranging physical ''type'' (or ''sort'') in mechanical systems or '' glyphs'' in digital systems representing '' characters'' (letters and other ...

, the composition of text by means of arranging types *

Typeface A typeface (or font family) is a design of Letter (alphabet), letters, Numerical digit, numbers and other symbols, to be used in printing or for electronic display. Most typefaces include variations in size (e.g., 24 point), weight (e.g., light, ...

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

, a company that designs or distributes typefaces *

Typewriter A typewriter is a Machine, mechanical or electromechanical machine for typing characters. Typically, a typewriter has an array of Button (control), keys, and each one causes a different single character to be produced on paper by striking an i ...

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

Sociology

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

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 References External linksTyp ...

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

, 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, also 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 curr ...

, a model numbering system used for vehicles or military equipment * A layer in the nomenclature of aircraft, as in

type certificate A type certificate signifies the airworthiness of a particular category of aircraft, according to its manufacturing design (''type design''). Certification confirms that the aircraft of a new type intended for serial production is in compliance w ...

and

type rating A type rating is an authorization entered on or associated with a pilot license and forming part thereof, stating the pilot's privileges or limitations pertaining to certain aircraft type. Such qualification requires additional training beyond ...

* Architectural type, classification of architecture by functional types (houses, institutions), morphological types or historical types

Architectural style An architectural style is a classification of buildings (and nonbuilding structures) based on a set of characteristics and features, including overall appearance, arrangement of the components, method of construction, building materials used, for ...

subcategories * U.S. Navy type commands, 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-token distinction, in logic, linguistics, and computer programming