[Haskell-cafe] Re: Looking for practical examples of Zippers
gue.schmidt at web.de
Thu Apr 2 18:52:18 EDT 2009
sorry, this all started with a misconception on my behalf of what a
Zipper is and what it is good for.
In the days that followed my post this became much clearer though and I
now realize my original question was pointless.
It seems you spotted that and yes, "generalized trie" is probably more
what I'm looking for, thanks!
David Menendez schrieb:
> On Mon, Mar 30, 2009 at 3:46 PM, Gü?nther Schmidt <gue.schmidt at web.de> wrote:
>> Thanks Don,
>> I followed some examples but have not yet seen anything that would show me
>> how, for instance, turn a nested Map like
>> Map Int (Map Int (Map String Double)
>> into a "zipped" version.
>> That is presuming of course that this use is feasible at all.
> Are you asking about the technique for navigating recursive
> structures, or did you mean something having to do with the
> isomorphism between "Map Int (Map Int (Map String Double))" and "Map
> (Int,Int,String) Double"?
> For the latter, the term you want is "generalized trie".
More information about the Haskell-Cafe