Von: Gérard Huet Datum: 30. Juni 2007 14:09:23 MESZ An: apfelmus@quantentunnel.de Cc: Gérard Huet Betreff: Re: Haskell wikibook - chapter "Theseus and the Zipper"

Very nice indeed. The analogy with Ariadne's thread is a natural one. I use myself the analogy with mountaineering, you are hanging from the top of the datastructure using the zipper as a return rope.

After I learned of Conor Mc Bride's work, I wrote some more about zippers for a de Bruijn's Festschrift, see item 79 in my bibliography [http://yquem.inria.fr/~huet/bib.html].

My main application of zippers so far has been for the design of the Zen toolkit for computational linguistics, see items 78,82,84,85 and site http://sanskrit.inria.fr/huet/ZEN/index.html. This toolkit was reused in Haskell by the Grammatical Framework linguistic platform of Aarne Ranta.

Compliments on a nice site on functional programming. Keep up the good work. Gerard

Le 30 juin 07 à 10:40, apfelmus@quantentunnel.de a écrit :

...

Dear Mr. Huet,

Fascinated by the zipper since reading your publication, the authors of the Haskell wikibook have written a special introduction to this data structure:

"Theseus and the Zipper". http://en.wikibooks.org/wiki/Haskell/Zippers

starring Theseus and Ariadne. We hope you will enjoy it :)

All the best, apfelmus