Records in Haskell

Donn Cave donn at
Wed Dec 28 19:34:36 CET 2011

Quoth Greg Weber <greg at>,
> On Wed, Dec 28, 2011 at 2:12 PM, Donn Cave <donn at> wrote:
>> I would think row polymorphism is a must-have.
> Perhaps if you want *extensible* records. If you would like to make some
> progress with records in the near future rather than keeping records in
> limbo, I think we really need to give up for the moment on any higher form
> of abstraction than straight-forward name-spacing.

No, to be clear on that, I haven't given much thought to extensibility
per se, I was thinking row polymorphism is a valuable feature on its own,
and extensibility just seemed to me to be an implicit side benefit.

In principle, a "less is more" approach to language features appeals to me
a lot, but not to the point where we just preemptively give up on "any
higher form of abstraction".  Given the potential for backwards
incompatibility, you'd want to have something pretty good to show for it.


More information about the Glasgow-haskell-users mailing list