> That's a nice succinct way to describe it. Another way, which boils
> down to the same thing but which is a little more concrete, is to
> ask:
> - Does the function's result depend only on the values of its
> arguments?
I have two problems with this alternative test:
1) It is sometimes slightly stricter test than necessary.
Consider a hypothetical pair of C functions
Foo toFoo(int);
int fromFoo(Foo);
which satisfy the property
fromFoo(toFoo(x)) == x
but such that the result of toFoo does not depend on its argument.
(Perhaps toFoo allocates some memory in which to stores its result
and returns a pointer to that memory.)
The function's result does vary independently of its values so it
fails your test.
But if toFoo/fromFoo are the only functions on Foo, then we could
obviously have implemented the same API in Haskell with the aid of
newtype so it passes my test.
2) It fails to recognise the fact that IO actions have side effects.
For example, the C library function 'free' always returns the same
result (i.e., '()') but it's a bad idea to call free twice on the
same argument.
One could argue that the side effect is part of the result because
IO actions return a modified world but only a long term functional
programmer would think like that so it doesn't help the man in the
street. (In fact, IIRC, the Concurrent Haskell semantics doesn't
use the state-passing explanation so you don't even see side effects
reflected as changes in the returned world state.)
--
Alastair Reid [EMAIL PROTECTED]
Reid Consulting (UK) Limited http://www.reid-consulting-uk.ltd.uk/alastair/
_______________________________________________
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
