Interesting paper on composing type definitions

Andrei Alexandrescu via Digitalmars-d digitalmars-d at
Mon Mar 6 16:47:40 PST 2017

On 3/6/17 3:49 PM, Enamex wrote:
> On Monday, 6 March 2017 at 01:37:18 UTC, Andrei Alexandrescu wrote:
>> On 3/4/17 10:36 PM, Andrei Alexandrescu wrote:
>>> -- Andrei
>> An idea inspired by this paper would be a type Sum such that Sum!(A,
>> B) stores both states of A and B and the joint API offered by the two.
>> Would be a good exercise in applying introspection. Also, when there
>> are clashing primitives, Sum might offer the option to make one of the
>> types "dominant", eliminate the function from the joint interface, or
>> disallow composition altogether. -- Andrei
> I haven't read the paper yet but doesn't that sound exactly opposite to
> what 'sum types' is usually used to mean?

Yah, it's an overloaded use of the term. -- Andrei

More information about the Digitalmars-d mailing list