Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Undefined evaluation order
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2000-10-07 (07:42)
From: Ken Wakita <wakita@i...>
Subject: Re: Undefined evaluation order

Thanks for your correction.  I looked up in versions of "n'th revised
reports on algorithmic language Scheme" and found the following at a
section "Procedure calls":

  Note: Although the order of evaluation is otherwise unspecified, the
        effect of any concurrent evaluation of the operator and
        operand expressions is constrained to be consistent with some
        sequential order of evaluation. The order of evaluation may be
        chosen differently for each procedure call.


This note first appeared in R4RS.  However, in R3RS it is rather
unclear in that "the same evaluation rules" may allow nondeterministic

  Note: In contrast to other dialects of Lisp, the order of evaluation
        is unspecified, and the operator expression and the operand
        expressions are always evaluated with the same evaluation


Ken Wakita