Datatype

In computer science, a datatype (often simply a type) is a name or label for a set of values and some operations which one can perform on that set of values. Programming languages implicitly or explicitly support one or more datatypes; these types may act as a statically or dynamically checked constraint on the programs generatable in a given language.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Assigning datatypes ("typing") has the basic purpose of giving some semantic meaning to otherwise meaningless bits. Types usually have associations either with values in memory or with objects such as variables. Because any value simply consists of a set of bits in a computer, hardware makes no distinction even between memory addresses, instruction code, characters, integers and floating-point numbers. Types inform programs and programmers how they should treat those mere bits.

Computer science: Computer science (abbreviated CS or compsci) encompasses a variety of topics that relates to computation, like abstract analysis of algorithms, formal grammars, and subjects such as programming languages, program design, software, computer hardware, artificial intelligence, and numerical analysis. B...

Programming language: :An has been proposed. Please refer to it for large rewrites....

Constraint: A constraint is a limitation of possibilities....