18 Jan
2006
18 Jan
'06
8:12 p.m.
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 -- John Meacham - ⑆repetae.net⑆john⑈