[Haskell-cafe] Records in Haskell: Type-Indexed Records (another proposal)

Matthew Farkas-Dyck strake888 at gmail.com
Sat Mar 3 17:40:22 CET 2012


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).

Cheers,
strake



More information about the Haskell-Cafe mailing list