Re: Proposal: Applicative => Monad: Call for consensus

On 1/17/11 4:20 PM, Conor McBride wrote:

I'm tempted to support

if <- b then t else f

for

(b >>= \ z -> if z then t else f)

and

case <- s of {p1 -> e1; ..}

similarly.

Habit[1] supports both of these shorthands ---both the semantics, and the syntax even--- and I'd love to have them in Haskell proper (whether GHC Haskell or SHE Haskell :) [1] http://hasp.cs.pdx.edu/habit-report-Aug2009.pdf -- Live well, ~wren