From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id IAA08982; Mon, 12 May 2003 08:51:06 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id IAA08792 for ; Mon, 12 May 2003 08:51:05 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from smtp4.cp.tin.it (vsmtp4.tin.it [212.216.176.224]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h4C6p3H16262; Mon, 12 May 2003 08:51:03 +0200 (MET DST) Received: from host188-233.pool80181.interbusiness.it (80.181.233.188) by smtp4.cp.tin.it (6.7.016) id 3E8D751D00F00EC0; Mon, 12 May 2003 08:51:02 +0200 From: Stalkern 2 Reply-To: stalkern2@tin.it To: Xavier Leroy Subject: Re: [Caml-list] tree walking with... specular rec functions? what else? Date: Mon, 12 May 2003 08:55:06 +0200 User-Agent: KMail/1.5.1 Cc: caml-list@inria.fr References: <200305091156.47892.stalkern2@tin.it> <20030511180242.A21831@pauillac.inria.fr> In-Reply-To: <20030511180242.A21831@pauillac.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit Content-Disposition: inline Message-Id: <200305120855.06867.stalkern2@tin.it> X-Spam: no; 0.00; stalkern:01 caml-list:01 downwards:01 huet:01 sept:99 uni-bonn:01 ralf:01 appsem:01 ernesto:01 caml:01 remy:01 afaik:01 rec:01 tree:02 gerard:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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 > > http://www.informatik.uni-bonn.de/~ralf/publications/TheWeb.ps.gz > > 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 http://caml.inria.fr/archives/200304/msg00202.html and I was suggested to take a look at http://pauillac.inria.fr/~remy/cours/appsem/ocaml-ml.html Thank you Ernesto Torresin ------------------- 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