Changes between Version 25 and Version 26 of Records/NameSpacing
- 01/11/12 02:08:06 (17 months ago)
v25 v26 102 102 === Increased need for type annotation === 103 103 104 This is the only real downside of *this* proposal (most downsides discussed here are inherent to any records proposal). The Frege author says: 104 This is the only real downside of . The Frege author says: 105 105 106 106 I estimate that in 2/3 of all cases one does not need to write `T.e x` in sparsely type annotated code, despite the fact that the frege type checker has a left to right bias and does not yet attempt to find the type of `x` in the code that "follows" the `x.e` construct (after let unrolling etc.) I think one could do better and guarantee that, if the type of `x` is inferrable at all, then so will be `x.e` (Still, it must be more than just a type variable.) … … 160 160 == Compatibility with existing records == 161 161 162 The new record system isenabled with `-XNAMESPACEDATA`. 162 The new record system enabled with `-XNAMESPACEDATA`. 163 163 164 164 * Should new modules be infectious? That is, if I turn the extension on for my module and export a record, does a user that wants to import the record also have to use the extension?