Changes between Version 8 and Version 9 of Ticket #1560


Ignore:
Timestamp:
Mar 31, 2009 3:48:21 PM (6 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