[Haskell-cafe] evaluation semantics of bind

[Gregg Reynolds]

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.

-gregg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090209/419eb2d7/attachment.htm