R&D
Support for union (discriminated, variant, etc.) datatypes.
A union, or discriminated, datatype is one in which several different types can be stored in the same location. This is similar to the union datatype in C. A variant of this is the "tagged union" type in which a tag field indicates just what type is being represented in any given instance, so that the data element is handled correctly when the element is accessed. Unions can save storage by overlapping storage areas for each type, since only one is in use at a time. There is a great deal of interest in this feature, but as yet we have not obtained the resources for it.
n/a