[Haskell-cafe] The container problem
Albert Y. C. Lai
trebla at vex.net
Fri Sep 26 14:57:54 EDT 2008
Andrew Coppin wrote:
> If I understand this correctly, to solve this problem you need either
> Functional Dependencies or Associated Types. Is that correct?
A motivating example in papers on FD is exactly typeclasses for
containers. Okasaki puts this into practice in the Edison library.
Despite its comprehensiveness, elegance, and the Okasaki name brand, it
did not become mainstream. I don't know why.
More information about the Haskell-Cafe