13 Dec
2006
13 Dec
'06
9:49 a.m.
Donald Bruce Stewart <dons@...> writes:
The joy of pattern guards reveals once you have more conditions.
Of course, this is not really the joy of pattern guards. It is the joy of monads, with perhaps a few character strokes saved by a confusing overloading of (<-). But some people do seem to be used to this notation by now. So perhaps a good compromise would be to use a different operator for pattern guards, e.g. (<<-), instead of (<-). What do you say? Yitz