Changes between Version 23 and Version 24 of Records


Ignore:
Timestamp:
Dec 30, 2011 9:54:54 AM (2 years ago)
Author:
GregWeber
Comment:

TDNR commentary

Legend:

Unmodified
Added
Removed
Modified
  • Records

    v23 v24  
    7171One particular way of integrating this idea into Haskell is called [http://hackage.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution Type Directed Name Resolution] (TDNR).  Proposed a couple of years ago, the Haskell community didn't like it much.  (But I still do; SLPJ.) 
    7272 
     73I believe the community rejected TDNR because they wanted extensible records. I think it is a shame that the desire for *extensible* records is holding us back from getting anything done now, but I do think that the current TDNR proposal seems a little weak for some reasons pointed out in the proposal itself, but also because it proposes not to solve name-spacing record updates. Note that the Frege proposal incorporates the TDNR concept purely as sugar, and it has a solution for record updates (that hopefully somehow is easier than the original thoughts of TDNR update being difficult to implement). -- GregWeber 
    7374 
     75