Enum vs Record vs Sealed types

John Rose john.r.rose at oracle.com
Thu Jan 2 22:25:21 UTC 2020

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

More information about the amber-spec-experts mailing list