Changes between Version 5 and Version 6 of Records/OverloadedRecordFields


Ignore:
Timestamp:
Nov 5, 2011 10:22:25 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields

    v5 v6  
    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 (summarised under "Nonextensible records with polymorphic selection & update" on at [wiki:Records])there are numerous ramifications.  Records are a swamp!
     5idea there are numerous ramifications.  Records are a swamp!
     6
     7See 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 reccord types.   Anonymous type could be an add-on feature to the design described here.
     8
     9= The base design =
    610
    711The '''base design''' has the folllowing distinct components: