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)
here.
Maurizio
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.