Records in Haskell: Explicit Classy Records

Matthew Farkas-Dyck strake888 at gmail.com
Thu Apr 12 05:39:45 CEST 2012


Hello GHC users.

I made another proposal for records in Haskell, meant to solve just
the namespace problem, and no more.
http://hackage.haskell.org/trac/ghc/wiki/Records/ExplicitClassyRecords

In this system, record selectors are overloaded in
explicitly-user-declared type classes. Thus one can control the scope
as of any other type class.

Cheers,
strake



More information about the Glasgow-haskell-users mailing list