Data types
Ada

The notion of type is of prime importance in Ada, since it is, for its designers, the best means of ensuring the accuracy of a processing description. Among other things, typing determines the amount of memory occupied by a variable, and the compiler will require that any expression of a given type can only be housed in a compatible space (variable, procedure or function parameter, etc.). Two types are compatible if they are identical, or if they have common values.

Globally, Ada defines...