|
In this chapter...
4.1 Introduction
4.2 The Concept of Type
4.3 Type Equivalence
4.4 Constraints and Subtypes
 4.4.1 Constraints
4.4.2 Subtypes
4.4.3 Evaluation of Constraints
4.5 Array Types
4.5.1 Slices and Sliding
4.5.2 Array Aggregates
4.5.3 Equivalence and Explicit Conversions
4.6 Record Types
4.6.1 Equivalence
4.6.2 Default Initialization of Record Components
4.7 Discriminants
4.7.1 Record Types with Variants
4.7.2 Discriminant Constraints - Record Subtypes
4.7.3 Denoting Components of Variants
4.7.4 Initialization of Discriminants
4.7.5 Discriminants and Type Composition
4.8 Mutability
4.8.1 The Case Against Static Mutability
4.8.2 Implementation Considerations
|
![[Ada Information Clearinghouse]](small_adaic_logo.gif){kind=logo}