Ideas around anonymous enum types

[newpavlov]

@Ixrec

The usual stumbling block for anonymous enum proposals is that nobody can seem to come up with a good syntax for matching on the variants

One option is to built on top of generalized type ascription to solve it:

Pre-RFC: type-level sets

This proposal is a continuation of sum-enums Pre-RFC, which in turn is an alternative to (postponed) RFC 2587. About terminology You can consider “type-level sets” (TLS) a temporary name. (I know it’s an unfortunate abbreviation, but let’s continue with it for now) Alternative names are: type sets (probably will be too confusing considering “typeset”?) true unions sum-enums auto-enum amalgamated sum (anonymous) conflating enums normalized variant fibered sum Summary Introduce a new syntax A…