world as value

[Adrian Hey]

On Fri 25 Jun, Fergus Henderson wrote:
> These functions have a deterministic denotational semantics.
> They are in that sense real functions, not pseudo functions.
> 
> The program's _behaviour_ is nondeterministic.  This is because the
> program's behaviour depends not only on the deterministic function,
> but also on the inputs to that function, some of which are unspecified
> (i.e. nondeterministic).

It doesn't matter whether the function is non-deterministic or some mythic
world value input is non-deterministic. It's still a hack.

Regards
-- 
Adrian Hey