
4 Jun
2008
4 Jun
'08
2:29 p.m.
Don Stewart wrote:
I wonder if there's a good case already:
The zipper module here has:
* A solid theoretical foundation (its a straightforward derivative of a data type)
and seems to go along with that data type, in the places it's used? is that right?
* Sensible API derived from Huet's papers, then implemented and used for Yi, one of the larger Haskell projects
interesting, so Yi would start using the version in `containers` if we put it there? And so would Krasimir's projects? If so, that sounds like a solid user-base... hmm. -Isaac