Who needs Ord for Sets and Maps anyway?
john at repetae.net
Wed Jan 18 20:12:00 EST 2006
On Wed, Jan 18, 2006 at 09:16:00AM +0000, Adrian Hey wrote:
> We can produce specialised implementations for particular types and
> include them in standard libs. But this still doesn't address the real
> problem (well I think it's the real problem) of how users can easily
> produce implementations for their own (non-standard) types. Just
> deriving Ord won't be good enough.
It would be interesting to use DrIFT to produce generalized Tries from
arbitrary abstract data types. It seems like it should be possible. is
there any literature on this sort of thing? It can probably be done
(less efficiently) with Data.Generics too.
John Meacham - ⑆repetae.net⑆john⑈
More information about the Libraries