[Haskell] Proposal: Allow "\=" for field update in record update syntax

Daan Leijen daan at cs.uu.nl
Sun Feb 20 04:16:51 EST 2005

Benjamin Franksen wrote:
> This library class defines the operations on a record:
>	class RecordField r l t | r l -> t where
>	  getField :: l -> r -> t
>	  putField :: l -> t -> r -> r

I have once written a short note about how Haskell'98 records could
be made more useful using a conservative extensions. The suggested
implementation method corresponds quite closely to what you sketch
here. Here is the url:


It should be interesting to read about the different tradeoffs of
extending the current record system, but keep in mind that this is a
just a quick writeup of ideas (and written two years ago!)

-- Daan.

More information about the Haskell mailing list