<div dir="ltr"><div><div>I would like to understand this some more. <br><br>My understanding of applicative order is also connected with normal order, I thought applicative order just means that all arguments given to a procedure are always evaluated before the procedure is applied, the left-right or right-left detail is irrelevant. Likewise normal order is the opposite, arguments are only evaluated when they are actually needed, regardless of left-right or right-left ordering.<br>
<br></div>In fact I learned that in SCIP, so I need to check when the edition I have was published to see how old it really is.<br><br></div>Alex<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Aug 28, 2013 at 11:04 AM, Matthias Felleisen <span dir="ltr"><<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@ccs.neu.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
On Aug 27, 2013, at 8:48 PM, Galler wrote:<br>
<br>
> Racket uses applicative order<br>
<br>
<br>
For the record, there is no such thing as 'applicative order.' There is call-by-value and there is a humongous misunderstanding called 'applicative order' in the 1960s and 1970s that was fixed by Plotkin's 1973 paper on "call-by-name, call-by-value, and the lc" in TCS. There are stone-aged authors who can't resist using this terminology but we should be enlightened enough to know that this is a bogus term w/o well-defined meaning :-)<br>
<br>
-- Matthias (heart-felt as you can tell)<br>
<br>
<br>
____________________<br>
Racket Users list:<br>
<a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</blockquote></div><br></div>