[Haskell-cafe] proposal: point free case expressions
drcygnus at gmail.com
Thu Nov 5 12:42:00 EST 2009
> I think your example is ambiguous in the sense that the case cannot
> know whether it should pattern match on the entire `m a' or just on
> the value `a' pulled out of the monad . Or maybe I don't entirely
> understand your example.
You're right; it's ambiguous. :)
> With the proposed `case of' it would become something like this:
> act1 >>= case of
> ... -> actN
That would work perfectly.
More information about the Haskell-Cafe