Re: Monads in plain english (Was: Re: Licenses and Libraries)

[Antti-Juhani Kaijanaho]

On Wed, Sep 01, 1999 at 06:23:19PM +0200, George Russell wrote:
> It is indeed absolutely crucial to understand the difference between the
> types "IO a" and "a" (an "IO a" is a way of obtaining an a, an "a" _is_
> an a).  Also understand that in "do" expressions, "<-" represents actually
> getting an "a" from an "IO a".

Indeed.  But if you get this far, understanding (>>=) quite trivial
(assuming you don't have problems with higher-order functions).
After all, do /is/ just simple syntactic sugar.

-- 
%%% Antti-Juhani Kaijanaho % [EMAIL PROTECTED] % http://www.iki.fi/gaia/ %%%

                                  ""
                             (John Cage)