[Haskell-cafe] Deconstructing types

[Louis Wasserman]

This is about the same as the other paper I linked to, I think, but I'm
interested in actually connecting the fully general trie construction to
Template Haskell and other facilities to reduce the coder's overhead of
using these tries in practice to a minimum.
Louis Wasserman
wasserman.louis at gmail.com


On Wed, Sep 9, 2009 at 10:24 AM, Sean Leather <leather at cs.uu.nl> wrote:

>
>   The goal is similar, but I'm attempting to automatically infer the
>> appropriate map type for any algebraic datatype -- and while I'm at it, the
>> TrieMap package aims to include all the methods Data.Map offers.
>>
>
> Perhaps you want to read about the type-indexed tries in "Generic Haskell:
> Applications": http://www.cs.uu.nl/~johanj/publications/ghpractice.pdf
>
> Sean
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090909/9ed7a6be/attachment.html