Changes between Version 17 and Version 18 of Records/OverloadedRecordFields


Ignore:
Timestamp:
Apr 29, 2013 12:20:17 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields

    v17 v18  
    33This page summarises a possible design that would allow
    44different records to share a single field label.  Although it's a simple enough
    5 idea there are numerous ramifications.  Records are a swamp!
     5idea there are numerous ramifications.  Records are a swamp!
     6
     7'''Nevertheless, this is the simplest proposal that I know that satisfies the main
     8request, that of having multiple records with the same field name.'''
    69
    710See also a similar [http://research.microsoft.com/en-us/um/people/simonpj/Haskell/records.html 2003 proposal by Simon PJ and Greg Morrisset].  It is essentially the same as the proposal below, but (a) has less detail and (b) adds anonymous record types.   Anonymous type could be an add-on feature to the design described here.