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 KAA14202; Tue, 18 Mar 2003 10:55:08 +0100 (MET) 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 KAA14837 for ; Tue, 18 Mar 2003 10:55:07 +0100 (MET) Received: from hirsch.in-berlin.de (hirsch.in-berlin.de [192.109.42.6]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h2I9t6f27343 for ; Tue, 18 Mar 2003 10:55:06 +0100 (MET) Received: from hirsch.in-berlin.de (localhost [127.0.0.1]) by hirsch.in-berlin.de (8.12.8/8.12.8/Debian-2) with ESMTP id h2I9t6n0029004 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NOT) for ; Tue, 18 Mar 2003 10:55:06 +0100 Received: from first.UUCP (uucp@localhost) by hirsch.in-berlin.de (8.12.8/8.12.8/Debian-2) with UUCP id h2I9t5DJ029002 for inria.fr!caml-list; Tue, 18 Mar 2003 10:55:05 +0100 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: inria.fr!caml-list Received: by first.in-berlin.de via sendmail from stdin id (Debian Smail3.2.0.114) Tue, 18 Mar 2003 10:57:40 +0100 (CET) From: oliver@first.in-berlin.de (Oliver Bandel) Date: Tue, 18 Mar 2003 10:57:40 +0100 To: caml-list@inria.fr Subject: Re: [Caml-list] Loop times Message-ID: <20030318095740.GA1372@first.in-berlin.de> Mail-Followup-To: oliver, caml-list@inria.fr References: <1047592439.1866.10.camel@giynz> <15989.46038.984076.710373@lachesis.inria.fr> <3E761B0F.8050303@humnet.ucla.edu> <20030317214841.GA467@first.in-berlin.de> <3E7645B1.2040306@humnet.ucla.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline In-Reply-To: <3E7645B1.2040306@humnet.ucla.edu> User-Agent: Mutt/1.3.28i X-Spam: no; 0.00; oliver:01 in-berlin:01 bandel:01 caml-list:01 prevost:01 exception:02 ciao:02 wrote:03 recursive:03 tail:03 variable:03 imperative:04 0800,:04 meant:05 functional:06 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Mon, Mar 17, 2003 at 02:01:21PM -0800, Daniel M. Albro wrote: > > Sorry, I just meant that the version that puts the > exception into a variable outside of the loop is a win over > the one that creates the exception inside the loop. The > fastest loop routine overall was the tail recursive loop, > i.e. the functional/recursive. However, this latest > imperative version has timing that's very close -- the > imperative version that pre-builds the exception takes > just over 28 seconds, and the tail-recursive version > takes just under 27 seconds. Well, I recently found an older article on tail-recursion and try-with statements: It's from John prevost, from April 24th, 2002. He said there, that exception handling blocks tail-calls, and that this means, to avoid try-with around tail-calls. So, confusion takes over control..... Ciao, Oliver ------------------- 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