Find the word definition

type system

n. (context computing English) A way programming language classifies values and expressions into data type, how it can manipulate those types and how they interact.

Type system

In programming languages, a type system is a collection of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules. The main purpose of a type system is to reduce possibilities for bugs in computer programs by defining interfaces between different parts of a computer program, and then checking that the parts have been connected in a consistent way. This checking can happen statically (at compile time), dynamically (at run time), or as a combination of static and dynamic checking. Type systems have other purposes as well, such as enabling certain compiler optimizations, allowing for multiple dispatch, providing a form of documentation, etc.

A type system associates a type with each computed value and, by examining the flow of these values, attempts to ensure or prove that no type errors can occur. The particular type system in question determines exactly what constitutes a type error, but in general the aim is to prevent operations expecting a certain kind of value from being used with values for which that operation does not make sense ( logic errors); memory errors will also be prevented. Type systems are often specified as part of programming languages, and built into the interpreters and compilers for them; although the type system of a language can be extended by optional tools that perform additional kinds of checks using the language's original type syntax and grammar.

Usage examples of "type system".

While it was a disturbingly effective way to communicate, it was also expensive to operate, which was why the Legion usually relied on the more conventional com-type system for the routine sending of messages and reports.

The Earth-type system is basically dialectic - the present state of variation determines the next, and so on.

I certainly don't know what spectra-analytical means the Hivers possess,' and Ashiant attempted to inject some humour, `but I'd like our astrogation officers to start checking the spectrums of all G-type stars, however far away they are, on the off chance that it's a certain type they're hunting, not just any G-type system with M-5 planets.

By the time they reached the third possible m-type system, she was well over that stage.