Records in Haskell

Greg Weber greg at
Fri Feb 24 18:36:10 CET 2012

Actually, I looked at the SORF page again:
There is now an 'Alternative Proposal' section that claims to solve
polymorphic update.
If anyone has comments on this please let us know!

So my proposal would be to somehow use the SORF Alternative Proposal
to allow for name-spaced records. This should be used to generate
internal constraints and not be exposed to the end user and not
automatically abstract over fields. This leaves all of our future
options open while satisfying the narrow issue at hand.

On Fri, Feb 24, 2012 at 9:27 AM, Greg Weber <greg at> wrote:
> I looked at the DORF implementers view
> It appears that we still have no solution for record updates that
> change the type of a polymorphic field.
> I think this means we need to look to ways to solve this update issue
> other than just de-sugaring to typeclasses.

More information about the Glasgow-haskell-users mailing list