[Haskell-cafe] Re: Haskell serialisation, was: To yi or not to yi...
Tom.Schrijvers at cs.kuleuven.be
Thu Jun 21 11:00:55 EDT 2007
> 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
> 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.
Department of Computer Science
tel: +32 16 327544
e-mail: tom.schrijvers at cs.kuleuven.be
More information about the Haskell-Cafe