From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Dawid Toton <dawid.toton@uj.edu.pl>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] 'Nondeterministic' evaluation wrt exceptions
Date: Fri, 25 Jul 2008 18:20:00 +0200 [thread overview]
Message-ID: <4889FD30.9070005@inria.fr> (raw)
In-Reply-To: <4889F16B.3020903@uj.edu.pl>
> Could you give me some advice how to evaluate really all applications
> that precede throwing an exception?
I'm not sure I fully understand what you're trying to achieve, but I'm
reminded of "futures", a construct for parallel computation that
was popular in the Lisp world in the 80's. The classic reference
is Halstead's Multilisp system:
http://www.cs.wisc.edu/~fischer/cs538.s04/multilisp.pdf
In a nutshell, a future is like a lazy value, but the underlying
computation is evaluated speculatively in parallel with the main
program, rather than waiting until its value is needed as in the case
of lazy evaluation.
Hope this might help,
- Xavier Leroy
next prev parent reply other threads:[~2008-07-25 16:20 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-07-25 15:29 Dawid Toton
2008-07-25 15:46 ` [Caml-list] " Gabriel Kerneis
2008-07-25 16:20 ` Xavier Leroy [this message]
2008-07-25 19:29 ` Dawid Toton
2008-07-25 20:10 ` Christophe TROESTLER
2008-07-25 20:31 ` Zheng Li
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=4889FD30.9070005@inria.fr \
--to=xavier.leroy@inria.fr \
--cc=caml-list@yquem.inria.fr \
--cc=dawid.toton@uj.edu.pl \
/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).