Archives of the Caml mailing list > Message from Xavier Leroy

Browse thread

[Caml-list] tree walking with... specular rec functions? what else?

Stalkern 2
- Brian Hurt
  - John Carr
    - Michal Moskal
      - David Brown
        
        Xavier Leroy
- Xavier Leroy
  - Stalkern 2
    - Gérard_Huet

Date:	-- (:)
From:	Xavier Leroy <xavier.leroy@i...>
Subject:	Re: [Caml-list] tree walking with... specular rec functions? what else?

> I've a simple tree structure and I want to walk it. Since in such a
> simple tree structure I can go AFAIK only sidewards or
> upwards/downwards, and I need to do both, I guess what can be an
> efficent way to do so.

That sounds like a job for Gérard Huet's "zippers":

G. Huet. The Zipper. Journal of Functional Programming, 7 (5), Sept
1997, pp. 549--554.

Apparently, the paper isn't freely available on-line, but see

http://www.informatik.uni-bonn.de/~ralf/publications/TheWeb.ps.gz

for a quick overview of the zipper, and more advanced stuff.

- Xavier Leroy

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners