
9 Sep
2009
9 Sep
'09
2:19 p.m.
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.
Louis Wasserman
wasserman.louis@gmail.com
2009/9/9 José Pedro Magalhães
Hello Louis,
On Tue, Sep 8, 2009 at 19:06, Louis Wasserman
wrote: Sean,
The answer is, I'm working on a recently semi-released package called TrieMap.
Is that similar to what is done in [1]? A draft paper [2] also refers that implementation.
Cheers, Pedro
[1] http://www.haskell.org/haskellwiki/GHC/Indexed_types#An_associated_data_type... [2] http://www.cse.unsw.edu.au/~chak/project/generics/