Enum vs Record vs Sealed types
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!
More information about the amber-spec-experts