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 -
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?
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
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 result of
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
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
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 so
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.
