Records in Haskell: Explicit Classy Records

AntC anthony_clayden at
Mon Apr 23 05:48:32 CEST 2012

Matthew Farkas-Dyck <strake888 <at>> writes:

> I made another proposal for records in Haskell, meant to solve just
> the namespace problem, and no more.

Thanks Matthew, I'm finding your wiki too sketchy to follow.

What name(s) does your proposal generate? And what type(s) do they have?

For record access, how does the compiler resolve to the right definition or 
instance from the context of use?

It seems you aren't making any proposal about record updating. So the acid 
test is how do you expect this to be treated:
     e{ x = True }
{* `e` is some arbitrary expression, possibly denoting a record type;
   `x` one of those names for which you've solved the namespace problem    *}


More information about the Glasgow-haskell-users mailing list