Type System - Type Checking

The process of verifying and enforcing the constraints of types – type checking – may occur either at compile-time (a static check) or run-time (a dynamic check). If a language specification requires its typing rules strongly (i.e., more or less allowing only those automatic type conversions that do not lose information), one can refer to the process as strongly typed, if not, as weakly typed. The terms are not usually used in a strict sense.

Read more about this topic:  Type System

Famous quotes containing the word type:

    I can barely conceive of a type of beauty in which there is no Melancholy.
    Charles Baudelaire (1821–1867)