Changes between Version 17 and Version 18 of Records/OverloadedRecordFields
- Apr 29, 2013 12:20:17 PM (22 months ago)
v17 v18 3 3 This page summarises a possible design that would allow 4 4 different records to share a single field label. Although it's a simple enough 5 idea there are numerous ramifications. Records are a swamp! 5 idea there are numerous ramifications. Records are a swamp! 6 7 '''Nevertheless, this is the simplest proposal that I know that satisfies the main 8 request, that of having multiple records with the same field name.''' 6 9 7 10 See 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.