A proposal: Sumtypes

[ryuukk_]

On Thursday, 8 February 2024 at 17:28:32 UTC, Paul Backus wrote:
> There are two big-picture issues with this proposal:
>
> 1. In addition to sum types, it includes proposals for several 
> unrelated new language features, like a "member of operator" 
> and implicit construction of function arguments and return 
> values.

Welcome features imo, needed to make the UX nice and pleasant 
and, repetition is useless and is visual noise, name your types / 
variable properly instead