Enum vs Record vs Sealed types

[John Rose]

On Jan 2, 2020, at 12:52 PM, Remi Forax <forax at univ-mlv.fr> wrote:
> 
> The other solution, is to wait to have de-constructor, in that case we may not need a special syntax for enum.

Yeah, that’s my first thought on this. Given a deconstructor which we certainly will have, the incremental advantage to record-like enums is very limited. 

And there are disadvantages: Some of the record and enum contracts are contradictory. 

Happy new year!

– John