[Haskell-cafe] proposal: point free case expressions

Jonathan Daugherty 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.

  Jonathan Daugherty

More information about the Haskell-Cafe mailing list