[prev in list] [next in list] [prev in thread] [next in thread]
List: haskell-cafe
Subject: Re: [Haskell-cafe] Re: what is inverse of mzero and return?
From: Ketil Malde <ketil+haskell () ii ! uib ! no>
Date: 2005-01-25 7:32:48
Message-ID: egllaidkv3.fsf () ii ! uib ! no
[Download RAW message or body]
Daniel Fischer <daniel.is.fischer@web.de> writes:
>> 'everything matters' is wrong even for IO actions, because the
>> actual value returned when the action is executed is completely
>> irrelevant to the IO action's identity.
> Now that I cannot swallow, that would mean
> return 4 == return 5.
I would argue that 'return 4' (or '5') isn't an IO action (it may not
even be in the IO monad, of course, but even within it.)
-kzm
--
If I haven't seen further, it is by standing in the footprints of giants
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic