[Haskell-cafe] Records in Haskell: Type-Indexed Records (another proposal)
strake888 at gmail.com
Sat Mar 3 17:40:22 CET 2012
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 Haskell-Cafe