[cap-talk] Wall banging (was: Bellizzomi - Capabilities and Shapiro's focus, Coyotos, etc.)

[Mark S. Miller]

Toby Murray wrote:
> [...] Is the following function deterministic then?
> 
> bool timeIsEven(clock){
>   return (clock.getTicks() % 2 == 0);
> }

This program itself is deterministic. If provided a clock that provides 
non-deterministic ticks, the answer it gives back is non-deterministic. But

     def add3(x) {
         return x+3
     }

also gives back an answer that is as non-deterministic as its argument.

-- 
Text by me above is hereby placed in the public domain

     Cheers,
     --MarkM