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 recognition, handwriting and speech ...

, producing text via a keyboard, typewriter, etc. *

Data type In computer science and computer programming, a data type (or simply type) is a collection or grouping of data values, usually specified by a set of possible values, a set of allowed operations on these values, and/or a representation of these ...

, 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 open. Some file formats ...

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

, 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: * shel ...

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

, 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'' (for example, integer, floating point, string) to every '' term'' (a word, phrase, or other set of symbols). Usu ...

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

Type theory In mathematics and theoretical computer science, a type theory is the formal presentation of a specific type system. Type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of ...

, basis for the study of type systems *

Arity In logic, mathematics, and computer science, arity () is the number of arguments or operands taken by a function, operation or relation. In mathematics, arity may also be called rank, but this word can have many other meanings. In logic and ...

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 (MLTT)) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematicia ...

* Type, of an entire function#Order and type, 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 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, also 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 * A layer in the nomenclature of aircraft, as in type certificate and type rating * 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-token distinction, in logic, linguistics, and computer programming