Changes between Version 33 and Version 34 of Records


Ignore:
Timestamp:
Jan 8, 2012 1:14:16 AM (2 years ago)
Author:
GregWeber
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records

    v33 v34  
    4545}}} 
    4646 
    47 and that can work for both Record and `RecordClash` because they both have a field `a`. 
     47and that can work for both `Record` and `RecordClash` because they both have a field `a`. 
    4848With Namespacing this will fail to type check unless the compiler can determine the type of r. The advantage of Namespacing is that the implementation is clear, straightforward, and has already been done (in the Frege language, whereas there are still questions as to the feasibility of Overloading). Overloading has seen other downsides in practice. In the words of the Frege author, who abandoned Overloading: 
    4949