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, collection of values used for computations. *

File type A file format is a 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 or free. Some file format ...

TYPE (DOS command) In computing, is a command in various command-line interpreters ( shells) such as COMMAND.COM, cmd.exe, 4DOS/ 4NT and Windows PowerShell used to display the contents of specified files on the computer terminal. The analogous Unix command is . I ...

, 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 In computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that i ...

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

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

, basis for the study of type systems * Arity 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 and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician an ...

* Type, of an

entire function In complex analysis, an entire function, also called an integral function, is a complex-valued function that is holomorphic on the whole complex plane. Typical examples of entire functions are polynomials and the exponential function, and any fin ...

Exponential type In complex analysis, a branch of mathematics, a holomorphic function is said to be of exponential type C if its growth is bounded by the exponential function ''e'C'', ''z'', for some real-valued constant ''C'' as , ''z'', → ∞ ...

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

, 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 '' landraces'') that may have the visual characteristics of a modern purebred dog. In ...

, 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 style, e.g., "italic type" * Movable type, in letterpress printing * Sort (typesetting), 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 * Normal type * 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 (theology), Typology, in Christian theology and Biblical exegesis * Type (song), "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