">>" and "do" notation

Jon Fairbairn Jon.Fairbairn@cl.cam.ac.uk
Fri, 29 Mar 2002 10:28:34 +0000

Wolfgang Jeltsch <wolfgang@jeltsch.net> wrote:
> It shouldn't be syntactic suger but at most an operator which does not =
> to the monad class. One could define (>>) just as an ordinary function
> instead of a class member.

That sounds to me like the best idea so far. =

If (as a human reader of a programme) I see

do a <- thing1

and I notice (perhaps after some modifications) that a is
not present in <expression>, then I /really/ don't want a
change to

do thing1

to change the meaning of the programme.