From: "David McClain" <dmcclain1@mindspring.com>
To: <caml-list@inria.fr>
Subject: Re: [Caml-list] Evaluation Order
Date: Sat, 9 Jun 2001 19:25:01 -0700 [thread overview]
Message-ID: <000e01c0f154$8e803e50$210148bf@dylan> (raw)
In-Reply-To: <200106100104.VAA32072@sarg.Ryerson.CA>
> The idea is to annotate the type of any functional result with the
> fact that it has escaping side-effects. Then to not let any
> so-annotated value be used directly in an expression. Let's look at
> David's problem:
I had just thought of a similar solution myself, but I wouldn't be so strict
as to disallow any use in an expression. Rather, as long as only one such
function call exists in any one expression it would be okay. That would
allow things like
let ans = prev_ans + process_tail() in ....
It does sound like an easy solution, so knowing myself as I do, I am
wondering what I don't understand about the details... If it were so easy,
then why hasn't it been done yet?
- DM
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
next prev parent reply other threads:[~2001-06-10 2:22 UTC|newest]
Thread overview: 33+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-06-09 15:59 David McClain
2001-06-09 20:17 ` Brian Rogoff
2001-06-09 23:12 ` David McClain
2001-06-09 23:28 ` David McClain
2001-06-10 1:04 ` Dave Mason
2001-06-10 2:25 ` David McClain [this message]
2001-06-11 13:03 ` Dave Mason
2001-06-12 17:55 ` John Max Skaller
2001-06-13 16:54 ` Frederick Smith
2001-06-13 21:43 ` John Max Skaller
2001-06-10 1:06 ` Charles Martin
2001-06-10 2:27 ` David McClain
2001-06-10 11:18 ` Tore Lund
2001-06-10 13:11 ` Tore Lund
2001-06-10 14:31 ` John Max Skaller
2001-06-12 15:12 ` Pierre Weis
2001-06-10 10:40 ` Joerg Czeranski
2001-06-10 14:06 ` John Max Skaller
2001-06-11 12:59 ` Dave Mason
2001-06-12 17:34 ` John Max Skaller
2001-06-10 13:47 ` John Max Skaller
2001-06-10 16:47 ` Brian Rogoff
2001-06-10 17:27 ` Dave Mason
2001-06-12 16:10 ` John Max Skaller
2001-06-09 23:19 ` John Max Skaller
2001-06-10 2:44 David McClain
2001-06-10 2:48 ` Patrick M Doane
2001-06-10 5:51 ` David McClain
2001-06-10 17:59 Damien Doligez
2001-06-10 18:28 ` Dave Mason
2001-06-15 17:00 Manuel Fahndrich
2009-06-14 16:36 evaluation order Christophe Raffalli
2009-06-14 19:40 ` [Caml-list] " Jon Harrop
2009-06-14 21:12 ` Christophe Raffalli
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='000e01c0f154$8e803e50$210148bf@dylan' \
--to=dmcclain1@mindspring.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;
as well as URLs for NNTP newsgroup(s).