world as value

[Fergus Henderson]

On 15-Jun-1999, letz@rd.grame.fr <letz@rd.grame.fr> wrote:
> 
> There is something that remains not clear for me. In a context of a
> functional program doing I/O  what is the correct notion of value?
> Is it the "I/O program" itself  (to be applied to the *World object)  OR
> the result of the interaction of the I/O program on the *World object?

They're both values.  The I/O program itself is a value (a function value,
of course), and the result of applying that I/O program on the initial
*World object is also a value.

> It seems that to keep referential tranparency only  the second  solution is
> correct.

I don't see how you came to that conclusion.

-- 
Fergus Henderson <fjh@cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh@128.250.37.3        |     -- the last words of T. S. Garp.