Truly algebraic Variant and Nullable
japplegame at gmail.com
Sun Nov 15 11:58:08 UTC 2020
On Sunday, 15 November 2020 at 04:54:19 UTC, 9il wrote:
> Truly algebraic Variant and Nullable with an order-independent
> list of types.
> Nullable is defined as
> alias Nullable(T...) = Variant!(typeof(null), T);
> Variant and Nullable with zero types are allowed.
> `void` type is supported.
> Visitors are allowed to return different types.
> Cyclic referencing between different variant types are
> More features and API:
> The work has been sponsored by Kaleidic Associates and Symmetry
It should be in the standard library.
More information about the Digitalmars-d-announce