[EMAIL PROTECTED] writes:
 > [...]
 > 
 > Could we please have lightweight extensible records for Haskell (as
 > in the paper by (Mark|Simon Peyton) Jones in the 1999 Haskell
 > Workshop).

Seconded.

Symmetric record catenation, as opposed to extensibility by one field
at a time, would make the Haskell even nicer for database work.
AFAICS it's the best way to type a relational join.

On the assumption that noone wants symmetric record catenation more
than I, I'm in the process(*) of formulating it as an addition to Mark
Jones's "Typing Haskell in Haskell".

(*) ETA some time this year.  Probably.  It's a hobby.

Regards,
Tom

Reply via email to