Proposal: Applicative => Monad: Call for consensus

[wren ng thornton]

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