Type may refer to:
Science and technology
Computing
*
Typing
Typing is the process of writing or inputting text by pressing keys on a typewriter
A typewriter is a or machine for characters. Typically, a typewriter has an array of , and each one causes a different single character to be produced ...
, producing text via a keyboard, typewriter, etc.
*
Data type
In computer science
Computer science deals with the theoretical foundations of information, algorithms and the architectures of its computation as well as practical techniques for their application.
Computer science is the study of Alg ...
, collection of values used for computations.
*
File type
ogg-file: 154 kilobytes.
A file format is a standard way that information is encoded for storage in a computer file
A computer file is a computer resource for recording data
Data are units of information
Information can be thou ...
*
TYPE (DOS command)
In computing
Computing is any goal-oriented activity requiring, benefiting from, or creating computing machinery. It includes the study and experimentation of algorithmic processes and development of both computer hardware , hardware and software ...
, a command to display contents of a file.
*
Type (Unix)
In Unix
Unix (; trademarked as UNIX) is a family of Computer multitasking, multitasking, multiuser computer operating systems that derive from the original AT&T Corporation, AT&T Unix, whose development started in the 1970s at the Bell Labs re ...
, a command in POSIX shells that gives information about commands.
*
Type safety
In computer science, type safety is the extent to which a programming language discourages or prevents type errors. A type error is erroneous program behaviour caused by a discrepancy between differing data types for the program's constants, variabl ...
, the extent to which a programming language discourages or prevents type errors.
*
Type system
In programming language
A programming language is a formal language comprising a Instruction set architecture, set of instructions that produce various kinds of Input/output, output. Programming languages are used in computer programming to ...
, defines a programming language's response to data types.
Mathematics
*
Type (model theory)
In model theory
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysi ...
*
Type theory
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no gene ...
, basis for the study of type systems
*
Arity
Arity () is the number of arguments
In logic
Logic (from Ancient Greek, Greek: grc, wikt:λογική, λογική, label=none, lit=possessed of reason, intellectual, dialectical, argumentative, translit=logikḗ)Also related to (''logo ...
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
In mathematics, logic, and computer science, a type system is a formal system in which every term has a "type" which defines its meanin ...
* Type, of an
entire function
In complex analysis
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis
Analysis is the branch of mathematics
Mathematics (from Ancient Greek, Greek: ) includ ...
**
Exponential type
In complex analysis, a branch of mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (math ...
Biology
*
Type (biology)
In biology, a type is a particular specimen (or in some cases a group of specimens) of an organism
In biology, an organism () is any organic, life, living system that functions as an individual entity. All organisms are composed of ce ...
, 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 Landrace, ''landraces'') that may have the visual characteristics of a modern purebred do ...
, 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
A written language is the representation of a spoken or gestural language
A language is a structured system of communication used by humans, including ...

which helped bring about modern textual printing in the publishing industry
* Type can refer to a
font
In metal
A metal (from Greek
Greek may refer to:
Greece
Anything of, from, or related to Greece
Greece ( el, Ελλάδα, , ), officially the Hellenic Republic, is a country located in Southeast Europe. Its population is approxim ...

style, e.g., "italic type"
*
Movable type
Movable type (US English; moveable type in British English) is the system and technology
Technology ("science of craft", from Ancient Greek, Greek , ''techne'', "art, skill, cunning of hand"; and , ''wikt:-logia, -logia'') is the sum of a ...
, in letterpress printing
*
Sort (typesetting)
200px, Metal type sorts arranged on a composing stick
In typesetting
on a composing stick on a type case.
, letter founder, from the 1728 edition of '' Cyclopaedia, or an Universal Dictionary of Arts and Sciences, Cyclopaedia''.
.
Typeset ...
, in letterpress printing
*
Typesetting
on a composing stick on a type case.
, letter founder, from the 1728 edition of '' Cyclopaedia, or an Universal Dictionary of Arts and Sciences, Cyclopaedia''.
.
Typesetting is the composition of Written language, text by means of arranging ph ...
, the composition of text by means of arranging types
*
Typeface
A typeface is the design of lettering
Lettering is an umbrella term
In linguistics
Linguistics is the science, scientific study of language. It encompasses the analysis of every aspect of language, as well as the methods for studying ...

, the overall design of lettering used in a collection of related fonts
*
Type design
Type design is the art and process of designing typeface
A typeface is the design of lettering
Lettering is an umbrella term
In linguistics
Linguistics is the science, scientific study of language. It encompasses the analysis of e ...
, the art and process of designing typefaces
*
Type foundry
A type foundry is a company
A company, abbreviated as co., is a legal entity
In law, a legal person is any person
A person (plural people or persons) is a being that has certain capacities or attributes such as reason, morality, con ...
, a company that designs or distributes typefaces
*
Typewriter
A typewriter is a mechanical
Mechanical may refer to:
Machine
* Mechanical system
A machine is any physical system with ordered structural and functional properties. It may represent human-made or naturally occurring device molecular ...

, 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
Maximilian Karl Emil Weber (; ; 21 April 186414 June 1920) was a German Sociology, sociologist, historian, juri ...
*
Normal typeNormal type (in German: ''Normaltyp'') is a typological term in sociology
Sociology is a social science
Social science is the Branches of science, branch of science devoted to the study of society, societies and the Social relation, rel ...
*
Typification
Typification is a process of creating standard (''typical'') social construction
Social constructionism is a theory of knowledge
Epistemology (; ) is the branch of philosophy
Philosophy (from , ) is the study of general an ...
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 (arts), character, one or more particular roles, or characters having the same trait theory, traits or co ...
, 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
Typology is the study of types or the systematic classification of the types of something according to their common characteristics. Typology is the act of finding, counting and classification facts with the help of eyes, other senses and logic. Typ ...
, 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
Mark may refer to:
Currency
* Bosnia and Herzegovina convertible mark
The Bosnia and Herzegovina convertible ma ...
, a model numbering system used for vehicles or military equipment
**
Type Museum
The Type Archive (formerly the Type Museum) is a collection of artefacts representing the legacy of type founding in England
England is a that is part of the . It shares land borders with to its west and to its north. The lies north ...
, 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 (visual arts), style in the visual arts generally, and most styles in archite ...
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
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
In Christianity
Christianity is an ...
, a 648 edict issued by Byzantine Emperor Constans II
*
Type (metaphysics)
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, cell phone, or calculator. It can be distinguished from other means of text inpu ...
, in philosophy
*
Type-token distinction, in logic, linguistics, and computer programming
See also
*
Typology (disambiguation)
Typology is the study of types or the systematic classification of the types of something according to their common characteristics. Typology is the act of finding, counting and classification facts with the help of eyes, other senses and logic. Ty ...
, the study of types
*
Categorization
Categorization is the human ability and activity of recognizing shared features or similarities between the elements of the experience
Experience refers to conscious
, an English Paracelsian physician
Consciousness, at its simplest, is " se ...

*
Kind (disambiguation)
Kind may refer to:
* ''Kind'' (album), a 2019 album by Stereophonics
* Kind (company), an American snack food manufacturer
* Kind (horse) (foaled 2001), an Irish Thoroughbred racehorse
* Kind (surname), a list of people with the surname
* Kind ( ...
{{disambiguation