[Haskell-cafe] Re: Haskell serialisation, was: To yi or not to yi...

[Tom Schrijvers]

> On Thursday 21 June 2007, Tom Schrijvers wrote:
>> That wouldn't make a difference. If, from the pure Haskell point of view
>> we can't tell the difference between two expressions that denote the same
>> function, then operations in the IO monad should not be able to do so
>> either.
>
> This doesn't make any sense to me.  IO is a non-determinism monad (among many
> other things).  That's already true --- randomIO is one example;
> Control.Exception.evaluate is another (and is already dependent on the
> particular compilation choices made).  I think of Haskell `values' as sets of
> legal representations anyway --- why shouldn't serialize be free to make a
> non-deterministic choice from among those sets, just like evaluate can make a
> non-deterministic choice from the set of exceptions an expression can throw?

Good point. I agree, if the specification is non-deterministic, this 
should be alright.

Tom

--
Tom Schrijvers

Department of Computer Science
K.U. Leuven
Celestijnenlaan 200A
B-3001 Heverlee
Belgium

tel: +32 16 327544
e-mail: tom.schrijvers at cs.kuleuven.be