Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] tree walking with... specular rec functions? what else?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Gérard_Huet <Gerard.Huet@i...>
Subject: Re: [Caml-list] tree walking with... specular rec functions? what else?

Le lundi, 12 mai 2003, à 08:55 Europe/Paris, Stalkern 2 a écrit :

> Il  Sunday 11 May 2003 18:02, Xavier Leroy ha scritto:
>>> 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
>> for a quick overview of the zipper, and more advanced stuff.
> Thank you very much. I'm now using also a posting about zippers on 
> this list
> and I was suggested 
> to
> take a look at 

My original zipper paper is not on-line, but my latest thoughts on the 
subject are given in
"Linear Contexts and the Sharing Functor: Techniques for Symbolic 
Computation", available from

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: