[mercury-users] Request for comments on this code

[Peter Moulder]

On Mon, Jul 10, 2006 at 04:39:36PM +1000, Peter Schachte wrote:
> Being pure should mean the program
> behaves deterministically, and clock doesn't.

Surely this is just the same as many other I/O calls (read,
gettimeofday, etc.) returning values that depend on when the call is
made.  It's still deterministic in the sense that it always gives the
same result for a given value of !.IO; it's just that !.IO is used
destructively, and isn't available for doing more than one call.

pjrm.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at csse.unimelb.edu.au
administrative address: owner-mercury-users at csse.unimelb.edu.au
unsubscribe: Address: mercury-users-request at csse.unimelb.edu.au Message: unsubscribe
subscribe:   Address: mercury-users-request at csse.unimelb.edu.au Message: subscribe
--------------------------------------------------------------------------