Re: Memory requirements

William D Clinger <cesura17@xxxxxxxxx> wrote:

I think you misunderstood me. Petit Larceny, by default,
evaluates the operands of that expression before the
operators. Changing the garbage collector does not change
the order of evaluation.

Sorry for the delay.

The point of my original article was that there is a strange correlation
between schemes evaluating the operator before the operands and the schemes
which need infinite memory to carry out the ((call/cc call/cc) (call/cc
call/cc)) loop.

Larceny seemed to be the only exception to that observation. However, as
you point out, Larceny is not an exception. This is more puzzling as it
apparently makes the correlation an 1:1 mapping: Schemes evaluating the
operator first are the schemes which need infinite memory for that loop.

I wonder if there is an explanation for that, or if missed something.
Benedikt
.

Relevant Pages

  • Re: Memory requirements
    ... between schemes evaluating the operator before the operands and the schemes ... which need infinite memory to carry out the ((call/cc call/cc) (call/cc ... Call/cc exposes evaluation order ...
    (comp.lang.scheme)
  • Re: What does "right associative" mean for the ternary operator?
    ... with or without added parentheses, the operands x, y, and z can be ... any of the operands have side effects). ... Evaluating one of the operands could involve a million atomic steps on the host platform, and there's nothing to stop the translator to interleave these sequences at random. ... have an appropriate newsgroups line in your header for your mail to be seen, ...
    (comp.lang.c.moderated)
  • Re: Does (cond1 && cond2 && cond3) always evaluate left to right?
    ... Lorad was claiming that if all the operators are of equal precedence, ... C/C++ guarantee that the operands are evaluating from left to right. ...
    (microsoft.public.dotnet.languages.csharp)
  • Re: Function PRESENT and logical combinations
    ... > operands of an expression, ... if you'll point to the part of the document that specifies ... evaluating expressions is completely undefined. ... that evaluation is by execution of the function. ...
    (comp.lang.fortran)
  • Re: Multiple Assignment Evaluation Debate
    ... requires evaluating the left side to determine the location to ... store into and evaluating the right side to determine ... which the operands are evaluated. ... the right assignment has to be done first. ...
    (comp.lang.c)