Changes between Version 17 and Version 18 of Records/OverloadedRecordFields


Ignore:
Timestamp:
Apr 29, 2013 12:20:17 PM (22 months 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.