[Haskell-cafe] monad subexpressions

[Dan Piponi]

On 8/3/07, Simon Peyton-Jones <simonpj at microsoft.com> wrote:
> | Couldn't this be best done with McBride and Patterson's Applicative
> | idiom notation?

> Does anyone have a pointer to a stand-alone description of "full-scale idiom notation".
> S

The full paper is here: http://www.cs.nott.ac.uk/~ctm/Idiom.pdf Is
that what you want?

It would be sweet to have the generality of Applicatives. I find the
examples of vectorised arithmetic and expression evaluators in that
paper quite compelling, besides the use of Applicatives as an
alternative way to talk to monads.
--
Dan