[PEAK] peak.security weirdness

Simon Belak simon.belak at hruska.si
Fri Jan 20 13:50:15 EST 2006

Phillip J. Eby wrote:
> It would be more precise to say that every subexpression is evaluated 
> immediately unless it depends on the value of a function argument.  All 
> other subexpressions are constant-folded away, except for zero-argument 
> function calls, which are assumed to be getters for some dynamic state.
> All expressions defined by any rule are computed at most once per dispatch.

So, in a rule such as:

   isinstnace(foo, int) and bar() and baz()

baz() and bar() would be immediately evaluated and resulting values 
constant-folded, reducing the rule to

   isinstnace(foo, int) and [some_constant]

More information about the PEAK mailing list