On Thu, Jun 21, 2007 at 04:37:20PM +0200, 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.
Tom Schrijvers wrote:
>> 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
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 an
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
Ah -
The "state of the world" serialized into your representation.
That would be interesting to see
Neil
... ah you meant something different?
On 21/06/07, apfelmus <[EMAIL PROTECTED]> wrote:
Tom Schrijvers wrote:
>> I understand that, depending on what the compiler does the resul
Tom Schrijvers wrote:
I understand that, depending on what the compiler does the result of :
do
let f = (*) 2
print $ serialise f
might differ as, for example, the compiler might have rewritten f as
\n ->
n+n.
But, why would that make equational reasoning on serialise not valid?
Isn't
Tom Schrijvers wrote:
>> I understand that, depending on what the compiler does the result of :
>>
>> do
>>let f = (*) 2
>>print $ serialise f
>>
>> might differ as, for example, the compiler might have rewritten f as
>> \n ->
>> n+n.
>>
>> But, why would that make equational reasoning on
On Thu, 21 Jun 2007, Pasqualino 'Titto' Assini wrote:
Hi Tom,
On Thursday 21 June 2007 08:59:42 Tom Schrijvers wrote:
On Thu, 21 Jun 2007, Pasqualino 'Titto' Assini wrote:
Thanks for the explanation.
But, doesn't this simply mean that the correct signature would be:
serialize :: (Int -> Int