From: Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>
To: caml-list@inria.fr
Subject: Re: Undefined evaluation order
Date: Mon, 16 Oct 2000 10:38:31 +0200 [thread overview]
Message-ID: <39EABE87.53274BB6@univ-savoie.fr> (raw)
In-Reply-To: <20001013162149.B28002@miss.wu-wien.ac.at>
It seems to me that a program making use of evaluation order in function
or constructor application is wrong !
It seems easy to me to add some marking in the type system to detect
expression with side effects ... then one could have a warning (or even
an error :-) when some code depends on evaluation order and then, in
this case only, force left to right evaluation order.
I am sure I would find some bugs in my programs with such a warning :-)
What do think the OCaml's developpers about this ?
Note: the problem of List.map is different and the library should
specify an evaluation order (there could be even two versions of
List.map and List.iter)
--
Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex
tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI
next prev parent reply other threads:[~2000-10-16 12:18 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-10-11 12:22 Greg Morrisett
2000-10-11 20:35 ` Pierre Weis
2000-10-13 7:05 ` Judicael Courant
2000-10-13 14:21 ` Markus Mottl
2000-10-16 8:38 ` Christophe Raffalli [this message]
2000-10-16 15:48 ` Brian Rogoff
2000-10-16 16:29 ` Christophe Raffalli
2000-10-17 9:19 ` Ralf Treinen
2000-10-12 8:35 ` Undefined evaluation order: define it for constructors ? Jacques Garrigue
2000-10-12 13:26 ` Hugo Herbelin
-- strict thread matches above, loose matches on Subject: below --
2000-10-20 14:59 Undefined evaluation order Gerard Huet
2000-10-14 1:42 David McClain
2000-10-13 13:56 Dave Berry
2000-10-12 17:06 David McClain
2000-10-12 11:32 Greg Morrisett
2000-10-12 9:53 Dave Berry
2000-10-10 19:23 David McClain
2000-10-10 18:55 John R Harrison
2000-10-10 12:46 Greg Morrisett
2000-10-05 18:14 Brian Rogoff
2000-10-06 2:02 ` Ken Wakita
2000-10-06 11:18 ` Pierpaolo BERNARDI
2000-10-07 6:46 ` Ken Wakita
2000-10-08 15:43 ` David Mentré
2000-10-08 22:47 ` Brian Rogoff
2000-10-10 12:47 ` Thorsten Ohl
2000-10-10 20:52 ` Brian Rogoff
2000-10-10 19:26 ` Stefan Monnier
2000-10-09 12:45 ` Xavier Leroy
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=39EABE87.53274BB6@univ-savoie.fr \
--to=christophe.raffalli@univ-savoie.fr \
--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;
as well as URLs for NNTP newsgroup(s).