Hello all.
I wrote a new proposal for the Haskell record system. It can be found
at http://hackage.haskell.org/trac/ghc/wiki/Records/TypeIndexedRecords
Records are indexed by arbitrary Haskell types. Scope is controlled as
scope of key types. No fieldLabel declarations needed (as in DORF).
Cheer
> Thanks Evan, I've had a quick read through.
Thanks for reading and commenting!
> It's a bit difficult to compare to the other proposals.
>
> I can't see discussion of extracting higher-ranked functions and applying them
> in polymorphic contexts. (This is SPJ's `rev` example.)
>
> Putting h-r f
Evan Laforge gmail.com> writes:
> [ ccing the list because the wiki page was flawed and I made a bunch
> of changes, hope you don't mind ]
>
Thanks Evan, I've had a quick read through.
It's a bit difficult to compare to the other proposals.
I can't see discussion of extracting higher-ranked f
[ ccing the list because the wiki page was flawed and I made a bunch
of changes, hope you don't mind ]
> Thanks Evan, but I think that wiki page isn't doing your
> proposal justice. There seem to be several typos in critical
> places that make it hard to follow (for me at least).
Sorry about the