
5 Feb
2009
5 Feb
'09
8:50 p.m.
Jake McArthur
| Just because the compiler is allowed (and even encouraged) to change the | sequence where that won't change the results, considering this a | sequence is still valid and meaningful.
It can be helpful sometimes, but I don't think it should be the standard way to think of bind. There are too many cases when it makes little sense as a sequencing operator.
Fair enough, thanks for your thoughts!