[Haskell-cafe] evaluation semantics of bind

Gregg Reynolds 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...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090209/419eb2d7/attachment.htm

More information about the Haskell-Cafe mailing list