<< §2.3.(c) Typing | ↑ Table of Contents ↑ | §2.3.1 Implicit role creation >> |
§2.3.(d) Lifting of arrays
Lifting also works for arrays of role objects. For lifting an array of base objects a new array is created and filled with role objects, one for each base object in the original array. In contrast to the role objects themselves, lifted arrays are never reused for subsequent lifting invocations.
<< §2.3.(c) Typing | ↑ Table of Contents ↑ | §2.3.1 Implicit role creation >> |