Records in Haskell

Greg Weber greg at
Fri Dec 9 20:37:30 CET 2011

Are Records stalled out again? I am perfectly willing to leave the fate of
records up to a willing and capable implementer. That seems much better
than waiting another 5 years for perfection :)

As an intermediate step, is it possible to put a warning in 7.4 when the
dot operator is used without a space so that it can be reserved for usage
with a records solution? Or will the new records solution be turned on by
an extension anyways?

On Mon, Nov 7, 2011 at 10:21 AM, Simon Peyton-Jones
<simonpj at>wrote:

> | would inclusion of such a record system into GHC mean that plans for
> | first-class labels (<>) are abandoned? That
> | would be a pity, since first-class labels are very useful to implement
> | record systems that go beyond what the abovementioned record system
> | provides. See, for example, my work on records:
> |      <
> |      <>
> The story is summarised at
> First-class labels are one point in the vast swamp of competing and
> overlapping proposals for records.  I think they are summarise here:
> I am unsure which of this list of proposals you are referring to. The URL
> you quote is this
> but it doesn't seem to actually contain a design, merely some options for
> a design that is implicit.  If you do have a design you advocate, it would
> be good to add it to the list at
> perhaps explaining which of the other members of the list it subsumes.
> Because there are so many proposals I have not gone ahead with any of
> them.  The most recent thread, articulated at
> is to ask what is the *smallest change* that would solve the *most
> pressing problem*, namely the inability to use the same field name in
> different records.  First class labels is (I assume) much more ambitious.
>  But maybe not.
> Anything you can do to bring clarity to the swamp, by editing the above
> two pages, would be a great service to the community.  At the moment, we
> are stuck in an infinite loop.
> Simon
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Glasgow-haskell-users mailing list