[Haskell-cafe] Re: Re: monad subexpressions

Chris Smith cdsmith at twu.net
Fri Aug 3 14:39:55 EDT 2007

Sebastian Sylvan <sebastian.sylvan at gmail.com> wrote:
> I'd also like to reiterate my request for a notation that doesn't
> require brackets around the *action* but will also work by applying it
> to a function which when fully applied to its argument returns an
> action (i.e.:   $foo x y + $bar z w, rather than $(foo x y) + $(bar z
> w)). Function application is normally very low-noise in Haskell
> (good), and it would be nice if we can keep it low-noise in this
> notation too.

I'm trying to understand your suggestion.  Can you tell me how you'd 
sugar the following?

    getA :: Friggle MyA
    getB :: Friggle MyB
    foo  :: Int -> MyB -> Friggle MyC

    do a <- getA
       b <- getB a
       foo 42 b

Chris Smith

More information about the Haskell-Cafe mailing list