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

Mark S. Miller markm at cs.jhu.edu
Wed Nov 29 20:33:00 CST 2006

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


More information about the cap-talk mailing list