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.

Reply via email to