[Haskell-cafe] evaluation semantics of bind

[Nils Anders Danielsson]

On 2009-02-05 15:20, Gregg Reynolds wrote:
> I think I've just about got monads figured out, but [...]

I don't think anyone has mentioned Simon's "Tackling the awkward squad"
paper in this thread. This tutorial, which contains a semantics for a
subset of IO, should answer some of the questions raised.

  http://research.microsoft.com/en-us/um/people/simonpj/Papers/marktoberdorf/

-- 
/NAD


This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.