How to implement a record de-constructor ?
maurizio.cimadamore at oracle.com
Tue Mar 20 21:13:02 UTC 2018
Just a digression on your premise - it's true that records hide a bit of
the need for explicit deconstruction; but if you are a fan of the 'you
don't need abstract records' camp (as I am :-)), I believe that means
that you have to make up for the lack of abstract records with some kind
of custom extractors - so there's some kind of tension between these two
types of complexities (extension mechanism vs. explicit destructuring)
On 20/03/18 13:38, Remi Forax wrote:
> While a de-constructor is not strictly needed until we want to serialize a record or do Pattern matching on it,
> i think it can be useful to share what i think about implementing a de-constructor.
More information about the amber-spec-observers