[Haskell-cafe] evaluation semantics of bind
dev at mobileink.com
Mon Feb 9 23:07:41 EST 2009
On Mon, Feb 9, 2009 at 8:37 PM, Richard O'Keefe <ok at cs.otago.ac.nz> wrote:
> There isn't any "application f e".
> Any human reader who does that is simply WRONG to do so.
Sorry, should have written f*
> In your fragmentary example, <monster computation> may be discarded
> EVEN IF it contains IO expressions, it's only if they are linked into
> the IO chain using >> and/or >>= that the environment will perform
> their values.
Thanks. I see the error of my ways. So, IO expressions must be evaluated
if they are in the chain leading to main.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe