2. Data types
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.
Example: Positive and Integer types are compatible. However, some assignments from an Integer to a Positive will cause problems at runtime for values of the Integer type that are not included in the Positive type. On the other hand, assigning a Positive expression to an Integer variable will never pose a problem.
Globally, Ada defines...
The Ultimate Scientific and Technical Reference
This article is included in
Software technologies and System architectures
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Data types
Language instructions
Bibliography
- (1) - - "Ada Programming", Wiki Books https://en.wikibooks.org/wiki/Ada_Programming .
- (2) - - "Ada Reference Manual",
Standards
- Langage de programmation Ada. - ISO/CEI 8652 - 2012
Websites
ADA – Europe Conference
ADA Conformity Assessment Authority
The Ultimate Scientific and Technical Reference
