Records in Haskell: Type-Indexed Records (another proposal)

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

Hello all.

I wrote a new proposal for the Haskell record system. It can be found

Records are indexed by arbitrary Haskell types. Scope is controlled as
scope of key types. No fieldLabel declarations needed (as in DORF).


More information about the Glasgow-haskell-users mailing list