Truly algebraic Variant and Nullable

[9il]

On Wednesday, 16 December 2020 at 14:54:26 UTC, Oleg B wrote:
> 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 
>> supported.
>>
>> More features and API:
>>
>> http://mir-core.libmir.org/mir_algebraic.html
>>
>> Cheers,
>> Ilya
>>
>> The work has been sponsored by Kaleidic Associates and 
>> Symmetry Investments.
>
> Great library! Have you any plan to separate it from mir-core 
> (to mir-algebraic for example)?

Thanks! Maybe, but mir-core is quite small itself and 
mir.algebraic is the only part that would be extended or updated 
in the near future. Other parts are quite stable. If there would 
be a strong reason to split it, we can do it.