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, 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, the composition of text by means of arranging types * Typeface, 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 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

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 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 (metaphysics), in philosophy * Type-token distinction, in logic, linguistics, and computer programming