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

font

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