From: Wolfgang Lux <wlux@uni-muenster.de>
To: Wolfgang Lux <wlux@uni-muenster.de>
Cc: Pal-Kristian Engstad <pal_engstad@naughtydog.com>,
caml-list@yquem.inria.fr,
Oliver Bandel <oliver@first.in-berlin.de>
Subject: Re: Ant: Re: [Caml-list] Avoiding shared data
Date: Sat, 1 Oct 2005 20:02:53 +0200 [thread overview]
Message-ID: <51b12f38177b34568bfc4e7bea1ffa90@uni-muenster.de> (raw)
In-Reply-To: <bd05c1f3fecf4de4bbae0cca1621e644@uni-muenster.de>
Wolfgang Lux wrote:
> let myfunc l =
> let g y result =
> if ypred y then
> let z = verbose_code_using_y y in z_expression :: result
> else
> result
> in let f x result =
> if xpred x then
> let y = verbose_code_using_x x in g y result
> else
> result
> in fold_right f l []
Just correcting myself. The code should use fold_left rather than
fold_right
(and thus switch the parameters in the call as well as that of the local
functions f and g) because the former is tail recursive and therefore
should
be preferred in a strict language (have been programming too much
Haskell
lately where a right fold is better).
Wolfghang
next prev parent reply other threads:[~2005-10-01 18:02 UTC|newest]
Thread overview: 44+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-09-25 21:32 Martin Chabr
2005-09-26 0:23 ` [Caml-list] " Bill Wood
2005-09-26 7:57 ` Claudio Sacerdoti Coen
2005-09-26 8:17 ` William Lovas
2005-09-26 21:07 ` Ant: " Martin Chabr
2005-09-26 22:08 ` Jon Harrop
2005-09-30 22:57 ` Oliver Bandel
2005-10-01 0:07 ` Pal-Kristian Engstad
2005-10-01 5:46 ` Bill Wood
2005-10-01 8:27 ` Wolfgang Lux
2005-10-01 18:02 ` Wolfgang Lux [this message]
2005-10-01 21:50 ` Ant: " Martin Chabr
2005-10-01 12:34 ` Oliver Bandel
2005-10-01 13:58 ` Bill Wood
2005-10-01 21:05 ` Ant: " Martin Chabr
2005-10-03 0:41 ` skaller
2005-10-03 1:13 ` Seth J. Fogarty
2005-10-03 13:09 ` Thomas Fischbacher
2005-10-03 14:57 ` skaller
2005-10-03 20:03 ` Ant: " Martin Chabr
2005-10-03 20:25 ` Thomas Fischbacher
2005-10-03 21:08 ` Jon Harrop
2005-10-04 18:06 ` Ant: " Martin Chabr
2005-10-04 18:32 ` Jon Harrop
2005-10-04 2:53 ` skaller
2005-10-04 16:15 ` Brian Hurt
2005-10-04 16:47 ` FP/IP and performance (in general) and Patterns... (Re: [Caml-list] Avoiding shared data) Oliver Bandel
2005-10-04 22:38 ` Michael Wohlwend
2005-10-05 0:31 ` Jon Harrop
2005-10-04 22:39 ` Christopher A. Watford
2005-10-04 23:14 ` Jon Harrop
2005-10-05 12:10 ` Oliver Bandel
2005-10-05 13:08 ` Jon Harrop
2005-10-05 15:28 ` skaller
2005-10-05 20:52 ` Ant: " Martin Chabr
2005-10-05 23:21 ` Markus Mottl
2005-10-06 16:54 ` brogoff
2005-10-05 0:45 ` Brian Hurt
2005-10-04 18:09 ` Ant: Re: Ant: Re: Ant: Re: Ant: Re: [Caml-list] Avoiding shared data Martin Chabr
2005-10-05 8:42 ` skaller
2005-10-05 11:14 ` Andrej Bauer
2005-10-01 21:36 ` Ant: Re: Ant: " Martin Chabr
2005-10-03 11:51 ` getting used to FP-programming (Re: Ant: Re: Ant: Re: [Caml-list] Avoiding shared data) Oliver Bandel
[not found] <Pine.LNX.4.63.0509251653340.9226@localhost.localdomain>
2005-09-26 21:29 ` Ant: Re: [Caml-list] Avoiding shared data Martin Chabr
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=51b12f38177b34568bfc4e7bea1ffa90@uni-muenster.de \
--to=wlux@uni-muenster.de \
--cc=caml-list@yquem.inria.fr \
--cc=oliver@first.in-berlin.de \
--cc=pal_engstad@naughtydog.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox