On Mon, Nov 7, 2011 at 1:33 PM, Wolfgang Jeltsch wrote: Am Montag, den 07.11.2011, 18:16 +0100 schrieb Claus Reinke: I am unsure which of this list of proposals you are referring to. The
URL you quote is this
http://hackage.haskell.org/trac/haskell-prime/wiki/FirstClassLabels That sounds familiar, I think I wrote that when I was younger;-) but it doesn't seem to actually contain a design, merely some options
for a design that is implicit. Please note that this particular instance of FirstClassLabels was *not*
about record systems themselves (already a hopeless mess of proposals
and preferences back then), but about a feature that would help defining
record systems *in the language*. Indeed. And I think it is important to make implementing new record
systems in the language easier. Each record system built into the
language might lack some features that someone wants. So it would be
good if one could come up with one’s own record system easily. On the other hand, I would rather have one half-way decent record system
that doesn't try to do everything than a bunch of ad hoc incompatible ones.
-Edward