Data Type (CloudMonk.io)

Data type

Return to Type, type definition, type declaration, type system, type safety, File formats, Data formats

Data types

Units of information Uninterpreted types:

* Bit

* Byte

* Ternary numeral system - Trit

* Ternary numeral system#Tryte - Tryte

* Word (computer architecture) - Word

* Bit array

Numeric types:

* Arbitrary-precision arithmetic - Arbitrary-precision or bignum

* complex data type|Complex

* Decimal data type|Decimal

* Fixed-point arithmetic|Fixed point

* Floating-point arithmetic|Floating point

** Reduced precision

*** Minifloat

*** Half-precision floating-point format|Half precision

*** bfloat16 floating-point format|bfloat16

** Single-precision floating-point format|Single precision

** Double-precision floating-point format|Double precision

** Quadruple-precision floating-point format|Quadruple precision

** Octuple-precision floating-point format|Octuple precision

** Extended precision

*** Long double

* integer (computer science)|Integer

** signedness

* Interval_arithmetic#Implementations|Interval

* Rational data type|Rational

Pointer (computer programming)|Pointer:

* memory address|Address

** physical address|physical

** virtual address space|virtual

* reference (computer science)|Reference

plain text|Text:

* Character (computing)|Character

* string (computer science)|String

** Null-terminated string|null-terminated

Composite data type|Composite:

* Algebraic data type

** generalized algebraic data type|generalized

* Array data type|Array

* Associative array

* class (computer programming)|Class

* Dependent type|Dependent

* Intuitionistic type theory#Equality type|Equality

* Inductive type|Inductive

* Intersection type|Intersection

* List (abstract data type)|List

* object (computer science)|Object

** metaobject

* Option type

* Product type|Product

* Record (computer science)|Record or Struct

* Refinement type|Refinement

* Set (abstract data type)|Set

* Union type|Union

** Tagged union|tagged

Other:

* Boolean data type|Boolean

* Bottom type

* Container (abstract data type)|Collection

* Enumerated type

* exception handling|Exception

* Function type

* Opaque data type

* Recursive data type

* Semaphore (programming)|Semaphore

* stream (computing)|Stream

* Top type

* Type class

* Unit type

* void type|Void

Related topics:

* Abstract data type

* Data structure

* Generic programming|Generic

* Kind (type theory)|Kind

** metaclass

* Object type (object-oriented programming)|Object type

* Parametric polymorphism

* Primitive data type

* Protocol (object-oriented programming)|Protocol

** Interface (computing)#In object-oriented languages|interface

* Subtyping

* Type constructor

* Type conversion

* Type system

* Type theory

* Variable (computer science)|Variable

navbar_datatypes

In computer science and computer programming, a data type or simply type is a classification of data which tells the compiler or Interpreter (computing)|interpreter how the programmer intends to use the data. Most programming languages support various types of data, for example: Real number|real, integer (computer science)|integer or boolean data type|Boolean. A data type provides a set of values from which an Expression (computer science)|expression (i.e. variable, function...) may take its values. This data type defines the operations that can be done on the data, the meaning of the data, and the way values of that type can be stored. A type of value from which an expression may take its value.Error: File not found: FOLDOC|type|new=yesError: File not found: cite book |last=Shaffer |first=C. A. |title=Data Structures & Algorithm Analysis in C++ |location=Mineola, NY |publisher=Dover |edition=3rd |year=2011 |at=1.2 |isbn=978-0-486-48582-9

Concept

Data types are used within type systems, which offer various ways of defining, implementing and using them. Different type systems ensure varying degrees of type safety.

Almost all programming languages explicitly include the notion of data type, though different languages may use different terminology.
Common data types include:

* Integer (computer science)|integers
* Boolean data type|booleans
* Character (computing)|characters
* floating point|floating-point numbers
* alphanumeric String (computer science)|strings

For example, in the Java (programming language)|Java programming language, the type int represents the set of 32-bit Integer (computer science)|integers ranging in value from −2,147,483,648 to 2,147,483,647, as well as the operations that can be performed on integers, such as addition, subtraction, and multiplication. Colors, on the other hand, are represented by three bytes denoting the amounts each of red, green, and blue, and one string representing that color's name; allowable operations include addition and subtraction, but not multiplication.

Most programming languages also allow the programmer to define additional data types, usually by combining multiple elements of other types and defining the valid operations of the new data type. For example, a programmer might create a new data type named "complex number" that would include real and imaginary parts.
A data type also represents a constraint placed upon the interpretation of data in a type system, describing representation, interpretation and structure of Value (computer science)|values or object (computer science)|objects stored in computer memory. The type system uses data type information to check correctness of computer programs that access or manipulate the data.

Most data types in statistics have comparable types in computer programming, and vice versa, as shown in the following table:

{|class="wikitable"
|-
! Statistics !! Programming
|-
| real-valued (interval scale)
| rowspan=2|floating-point
|-
| real-valued (ratio scale)
|-
| count data (usually non-negative) || Integer (computer science)|integer
|-
| binary data || Boolean data type|Boolean
|-
| categorical data || enumerated type
|-
| random vector || list (abstract data type)|list or array data type|array
|-
| random matrix || two-dimensional array data type|array
|-
| random tree (disambiguation)|random tree || tree (data structure)|tree
|}

Definition

Error: File not found: harv|Parnas|Shore|Weiss|1976 identified five definitions of a "type" that were used—sometimes implicitly—in the literature. Types including behavior align more closely with object-oriented models, whereas a structured programming model would tend to not include code, and are called plain old data structures.

The five types are:
; Syntactic: A type is a purely syntax|syntactic label associated with a variable (computer science)|variable when it is declared. Such definitions of "type" do not give any semantic meaning to types.Error: File not found: clarify|date=August 2016
; Representation: A type is defined in terms of its composition of more primitive types—often machine types.
; Representation and behaviour: A type is defined as its representation and a set of operator (computer programming)|operators manipulating these representations.
; Value space: A type is a set of possible values which a variable can possess. Such definitions make it possible to speak about (disjoint union|disjoint) union (set theory)|unions or Cartesian products of types.
; Value space and behaviour: A type is a set of values which a variable can possess and a set of function (computer science)|functions that one can apply to these values.

The definition in terms of a representation was often done in imperative languages such as ALGOL and Pascal (programming language)|Pascal, while the definition in terms of a value space and behaviour was used in higher-level languages such as Simula and CLU (programming language)|CLU.

Classes of data types

=Primitive data types

=
Primitive data types are typically types that are built-in or basic to a language implementation.

Machine data types

All data in computers based on digital electronics is represented as bits (alternatives 0 and 1) on the lowest level. The smallest addressable unit of data is usually a group of bits called a byte (usually an octet (computing)|octet, which is 8 bits). The unit processed by machine code instructions is called a Word (data type)|word (Error: File not found: as of|2011|lc=y, typically 32 or 64 bits). Most instructions interpret the word as a binary number, such that a 32-bit word can represent unsigned integer values from 0 to

2^{32}-1

or signed integer values from

-2^{31}

2^{31}-1

. Because of two's complement, the machine language and machine doesn't need to distinguish between these unsigned and signed data types for the most part.

There is a specific setError: File not found: which|date=August 2016 of arithmetic instructions that use a differentError: File not found: clarify|date=August 2016 interpretation of the bits in word as a floating-point number.

Machine data types need to be exposed or made available in systems programming|systems or low-level programming languages, allowing fine-grained control over hardware. The C programming language, for instance, supplies integer types of various widths, such as short and long. If a corresponding native type does not exist on the target platform, the compiler will break them down into code using types that do exist. For instance, if a 32-bit integer is requested on a 16 bit platform, the compiler will tacitly treat it as an array of two 16 bit integers.

In higher level programming, machine data types are often hidden or abstracted as an implementation detail that would render code less portable if exposed. For instance, a generic numeric type might be supplied instead of integers of some specific bit-width.

Boolean type

The Boolean type represents the values logical truth|true and false (logic)|false. Although only two values are possible, they are rarely implemented as a single binary digit for efficiency reasons. Many programming languages do not have an explicit Boolean type, instead interpreting (for instance) 0 as false and other values as true.
Boolean data simply refers to the logical structure of how the language is interpreted to the machine language. In this case a Boolean 0 refers to the logic False. True is always a non zero, especially a one which is known as Boolean 1.

Numeric types

Such as:

* The integer (computing)|integer data types, or "non-fractional numbers". May be sub-typed according to their ability to contain negative values (e.g. unsigned in C and C++). May also have a small number of predefined subtypes (such as short and long in C/C++); or allow users to freely define subranges such as 1..12 (e.g. Pascal (programming language)|Pascal/Ada (programming language)|Ada).
* Floating point data types, usually represent values as high-precision fractional values (rational numbers, mathematically), but are sometimes misleadingly called reals (evocative of mathematical real numbers). They usually have predefined limits on both their maximum values and their precision. Output of these values are often represented in a decimal number format.
* Fixed point (computing)|Fixed point data types are convenient for representing monetary values. They are often implemented internally as integers, leading to predefined limits.
* Bignum or arbitrary precision numeric types lack predefined limits. They are not primitive types, and are used sparingly for efficiency reasons.

=Composite types

=
Composite types are derived from more than one primitive type. This can be done in a number of ways. The ways they are combined are called data structures. Composing a primitive type into a compound type generally results in a new type, e.g. array-of-integer is a different type to integer.

* An array data type|array stores a number of elements of the same type in a specific order. They are accessed randomly using an integer to specify which element is required (although the elements may be of almost any type). Arrays may be fixed-length or expandable.
** A List (abstract data type)|list is similar to an array, but its contents are strung together by a series of references to the next element.
* Record (computer science)|Record (also called tuple or struct) Records are among the simplest data structures. A record is a value that contains other values, typically in fixed number and sequence and typically indexed by names. The elements of records are usually called fields or members.
* Union (computer science)|Union. A union type definition will specify which of a number of permitted primitive types may be stored in its instances, e.g. "float or long integer". Contrast with a record (computer science)|record, which could be defined to contain a float and an integer; whereas, in a union, there is only one type allowed at a time.
** A tagged union (also called a Variant type|variant, variant record, discriminated union, or disjoint union) contains an additional field indicating its current type for enhanced type safety.
* A set (abstract data type)|set is an abstract data structure that can store certain values, without any particular sequence|order, and no repeated values. Values themselves are not retrieved from sets, rather one tests a value for membership to obtain a boolean "in" or "not in".
* An object (computer science)|object contains a number of data fields, like a record, and also a number of subroutines for accessing or modifying them, called Method (computer programming)|methods.

Many others are possible, but they tend to be further variations and compounds of the above.

Enumerations

The enumerated type has distinct values, which can be compared and assigned, but which do not necessarily have any particular concrete representation in the computer's memory; compilers and interpreters can represent them arbitrarily. For example, the four suits in a deck of playing cards may be four enumerators named CLUB, DIAMOND, HEART, SPADE, belonging to an enumerated type named suit. If a variable V is declared having suit as its data type, one can assign any of those four values to it. Some implementations allow programmers to assign integer values to the enumeration values, or even treat them as type-equivalent to integers.

String and text types

Such as:

* Alphanumeric Character (computing)|character. A letter of the alphabet, digit, blank space, punctuation mark, etc.
* Alphanumeric String (computer science)|strings, a sequence of characters. They are typically used to represent words and text.
Character and string types can store sequences of characters from a character set such as ASCII. Since most character sets include the Numerical digit|digits, it is possible to have a numeric string, such as "1234". However, many languages treat these as belonging to a different type to the numeric value 1234.

Character and string types can have different subtypes according to the required character "width". The original 7-bit wide ASCII was found to be limited, and superseded by 8 and 16-bit sets, which can encode a wide variety of non-Latin alphabets (Chinese language|Chinese) and other symbols.
Strings may be either stretch-to-fit or of fixed size, even in the same programming language. They may also be subtyped by their maximum size.

Note: strings are not a primitive in all languages, for instance in C (programming language)|C, they are composed from an array of characters.

=Other types

=
Types can be based on, or derived from, the basic types explained above. In some languages, such as C, function (computer science)|functions have a type derived from the type of their return value.

Pointers and references

The main non-composite, derived type is the pointer (computer programming)|pointer, a data type whose value refers directly to (or "points to") another value stored elsewhere in the computer memory using its Memory address|address. It is a primitive kind of reference (computer science)|reference. (In everyday terms, a page number in a book could be considered a piece of data that refers to another one). Pointers are often stored in a format similar to an integer; however, attempting to dereference or "look up" a pointer whose value was never a valid memory address would cause a program to crash. To ameliorate this potential problem, pointers are considered a separate type to the type of data they point to, even if the underlying representation is the same.

Function types

Error: File not found: Main|Function type
Error: File not found: Expand section|date=October 2012

=Abstract data types

=
Any type that does not specify an implementation is an abstract data type. For instance, a stack (abstract data type)|stack (which is an abstract type) can be implemented as an array (a contiguous block of memory containing multiple values), or as a linked list (a set of non-contiguous memory blocks linked by pointer (computer science)|pointers).

Abstract types can be handled by code that does not know or "care" what underlying types are contained
in them. Programming that is agnostic about concrete data types is called generic programming. Arrays and records can also contain underlying types, but are considered concrete because they specify how their contents or elements are laid out in memory.

Examples include:

* A Queue (data structure)|queue is a first-in first-out list. Variations are Deque and Priority queue.
* A Set (computer science)|set can store certain values, without any particular sequence|order, and with no repeated values.
* A Stack (data structure)|stack is a last-in, first out data structure.
* A Tree (computer science)|tree is a hierarchical structure.
* A Graph (data structure)|graph.
* A List (abstract data type)|list.
* A hash table|hash, dictionary, map (computer science)|map or associative array is a more flexible variation on a record, in which name-value pairs can be added and deleted freely.
* A smart pointer is the abstract counterpart to a pointer. Both are kinds of reference (computer science)|references.

=Utility types

=
For convenience, high-level languages may supply ready-made "real world" data types, for instance times, dates and monetary values and memory, even where the language allows them to be built from primitive types.

Type systems

A type system associates types with computed values. By examining the flow of these values, a type system attempts to prove that no type errors can occur. The type system in question determines what constitutes a type error, but a type system generally seeks to guarantee that operations expecting a certain kind of value are not used with values for which that operation does not make sense.

A compiler may use the static type of a value to optimize the storage it needs and the choice of algorithms for operations on the value. In many C (programming language)|C compilers the Error: File not found: C-lang|float data type, for example, is represented in 32 bits, in accord with the IEEE 754-2008|IEEE specification for single-precision floating point numbers. They will thus use floating-point-specific instruction set|microprocessor operations on those values (floating-point addition, multiplication, etc.).

The depth of type constraints and the manner of their evaluation affect the typing of the language. A programming language may further associate an operation with varying concrete algorithms on each type in the case of type polymorphism. Type theory is the study of type systems, although the concrete type systems of programming languages originate from practical issues of computer architecture, compiler implementation, and language design.

Type systems may be variously static typing|static or dynamic typing|dynamic, strong typing|strong or weak typing, and so forth.