Changes between Version 8 and Version 9 of Ticket #1560


Ignore:
Timestamp:
Mar 31, 2009 3:48:21 PM (5 years ago)
Author:
AdrianHey
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #1560 – Description

    v8 v9  
    114114wants to give it a shot that would be very welcome. 
    115115 
    116 = Starting Point (where we're at now) = 
     116= Starting Point (where we're at now - 2008) = 
    117117 
    118118In this darcs repository.. 
     
    134134list of known length (using tuples perhaps). 
    135135 
     136= Starting Point (where we're at now - 2009) = 
     137 
     138There seems to have been some interest in this project from students for 2009. Anyone wishing to submit a proposal for this should be aware that Jamie Brandon did a lot of work on this 
     139for 2008. But it's still not finished, so there is room for 
     1402009 applications and further work. 
     141 
     142Currently we have preliminary class definitions, a few hand 
     143written instances and a test suite as a package on hackage (gmap). 
     144This makes use of functional dependencies. 
     145 
     146The darcs repository for the library is in the process of being converted to use type families (instead of functional dependencies), but can't be compiled at the moment (apparently there's a problem with ghc type families implementation). 
     147 
     148http://code.haskell.org/gmap/ 
     149 
     150Jamie Brandon listed what he sees as outstanding work in this email: 
     151 
     152http://www.haskell.org/pipermail/haskell-cafe/2009-March/058270.html 
     153 
     154One thing that seems to be missing from this post is that we need 
     155a way of deriving instances for arbitrary key types. The class API 
     156is somewhat huge and writing instances by hand is not really a practical proposition for most users. 
     157 
    136158= Interested mentors = 
    137159