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 progra ...
, collection of values used for computations.
*
File type
*
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, defines a programming language's response to data types.
Mathematics
*
Type (model theory)
*
Type theory, 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), 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 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
See also
*
Typology (disambiguation), the study of types
*
Categorization
Categorization is the ability and activity of recognizing shared features or similarities between the elements of the experience of the world (such as Object (philosophy), objects, events, or ideas), organizing and classifying experience by a ...
*
Kind (disambiguation)
{{disambiguation