From: Dave Berry <dave@kal.com>
To: caml-list@inria.fr
Subject: RE: Undefined evaluation order: define it for constructors ?
Date: Thu, 12 Oct 2000 15:10:45 +0100 [thread overview]
Message-ID: <3145774E67D8D111BE6E00C0DF418B6631C1E8@nt.kal.com> (raw)
Map is a function that really can be evaluated in parallel. There is a
project at Heriot-Watt university that translates pure SML programs to run
on a parallel processor. Array.map can potentially be run in parallel on
SIMD machines too. So there is an argument for not specifying the order of
traversal of these functions (although this need not affect the language
definition).
Dave.
-----Original Message-----
From: Hugo Herbelin [mailto:Hugo.Herbelin@inria.fr]
Sent: Thursday, October 12, 2000 2:27 PM
To: garrigue@kurims.kyoto-u.ac.jp
Cc: caml-list@inria.fr
Subject: Re: Undefined evaluation order: define it for constructors ?
[Excerpt]
It is sometimes useful to do side-effects with "List.map" (or
"Array.map"): it leads to code more readable than if using
"fold_left". I'd be happy if the evaluation order of "map" in the
interface were specified, as it is the case (for a good reason) for
the "iter" functional.
next reply other threads:[~2000-10-12 16:48 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-10-12 14:10 Dave Berry [this message]
-- strict thread matches above, loose matches on Subject: below --
2000-10-11 12:22 Undefined evaluation order Greg Morrisett
2000-10-12 8:35 ` Undefined evaluation order: define it for constructors ? Jacques Garrigue
2000-10-12 13:26 ` Hugo Herbelin
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=3145774E67D8D111BE6E00C0DF418B6631C1E8@nt.kal.com \
--to=dave@kal.com \
--cc=caml-list@inria.fr \
/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