">>" and "do" notation
Fri, 29 Mar 2002 10:28:34 +0000
Wolfgang Jeltsch <email@example.com> 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
to change the meaning of the programme.