Extensible Records

There seems to be widespread agreement that the current situation with regards to records is unacceptable, but the  official GHC policy is that there are too many good ideas to choose from - so nothing gets done!

The purpose of this page is to collect and discuss proposals for adding extensible records to GHC. Ticketed at #1872.

Proposals

•  A proposal for records in Haskell (wherein  TRex is rejected as having a high implementation cost)
•  A Polymorphic Type System for Extensible Records and Variants
•  Scoped Labels
•  Type Families
•  Heterogeneous Collections, see also  Keyword Arguments
•  Poor Man's Records