How to implement a record de-constructor ?

Maurizio Cimadamore maurizio.cimadamore at
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 mailing list