[Haskell-cafe] Re: Looking for practical examples of Zippers

David Menendez dave at zednenem.com
Wed Apr 1 02:02:51 EDT 2009


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".

-- 
Dave Menendez <dave at zednenem.com>
<http://www.eyrie.org/~zednenem/>


More information about the Haskell-Cafe mailing list