Changes between Version 24 and Version 25 of Records/NameSpacing

Show
Ignore:
Timestamp:
01/11/12 02:05:28 (16 months ago)
Author:
GregWeber
Comment:

fix wiki link

Legend:

Unmodified
Added
Removed
Modified

  • Records/NameSpacing

    v24 v25  
    5050== Simple type resolution == 
    5151 
    52 Frege has a detailed explanation of the semantics of its record implementation, and the language is *very* similar to Haskell. After reading the Frege manual sections, one is still left wondering: how does Frege implement type resolution for its dot syntax. The answer is fairly simple: overloaded record fields are not allowed. So you can't write code that works against multiple record types. Please see the comparison with Overloading in [wiki Records], which includes a discussion of the relative merits. Note that the DDC thesis takes the same approach. 
     52Frege has a detailed explanation of the semantics of its record implementation, and the language is *very* similar to Haskell. After reading the Frege manual sections, one is still left wondering: how does Frege implement type resolution for its dot syntax. The answer is fairly simple: overloaded record fields are not allowed. So you can't write code that works against multiple record types. Please see the comparison with Overloading in [wiki:Records], which includes a discussion of the relative merits. Note that the DDC thesis takes the same approach. 
    5353 
    5454Back to simple type resolution. From the Frege Author: