From: Alan Falloon <Al.Falloon@synopsys.com>
To: skaller <skaller@users.sourceforge.net>
Cc: Alexander Bottema <Alexander.Bottema@mathworks.com>, caml-list@inria.fr
Subject: Re: [Caml-list] strict?
Date: Fri, 04 Aug 2006 14:03:50 -0400 [thread overview]
Message-ID: <44D38C06.5060602@synopsys.com> (raw)
In-Reply-To: <1154638579.5206.50.camel@rosella.wigram>
skaller wrote:
> Some languages define application as eager (Ocaml) and some
> lazy (Haskell) but Felix does both and neither :)
>
> The basic idea is some things are eager, some lazy, but most
> are 'up to the compiler'.
>
> So actually, three significant factors seem to exist:
> side effects or not, dependence on a variable or not,
> and finally whether the function is strict.
>
It sounds like you are talking about "lenient" evaluation. I was looking
into this stuff a while ago. As far as I can tell, there aren't many
papers out there about it, but this one is pretty good:
http://www.cs.cmu.edu/~seth/lenient.pdf.
The citeseer page might get you some more info
http://citeseer.ist.psu.edu/schauser95how.html
next prev parent reply other threads:[~2006-08-04 18:05 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-08-03 7:29 Alexander Bottema
2006-08-03 20:56 ` skaller
2006-08-04 18:03 ` Alan Falloon [this message]
2006-08-05 1:19 ` skaller
-- strict thread matches above, loose matches on Subject: below --
2006-08-03 5:13 strict? skaller
2006-08-03 7:08 ` [Caml-list] strict? Francis Dupont
2006-08-03 20:17 ` skaller
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=44D38C06.5060602@synopsys.com \
--to=al.falloon@synopsys.com \
--cc=Alexander.Bottema@mathworks.com \
--cc=caml-list@inria.fr \
--cc=skaller@users.sourceforge.net \
/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).