Am 20.02.2024 um 08:42 schrieb Randy Brukardt:
Jeffrey Carter wrote:
Yes, there are many uses for discriminated record types.
Surely. But I think his question was not about untagged discriminated record
types per-se, but rather about derived untagged discriminated record types
with changed discriminants.
Exactly. Nobody questioned the usefulness of untagged discriminated types.
I would like to see a convincing example for _changing the names of
discriminants of untagged types_. My coaches example isn't it nor the
matrix and square matrix example RM 3.7(34-35). (Ellipse and circle
don't count either.)
A construct which is *much* less useful, and is
almost certainly not useful enough to justify the substantial definitional
and implementation pain associated with it.
Randy.
