[Haskell-cafe] monad subexpressions

Dan Piponi dpiponi at gmail.com
Fri Aug 3 14:40:40 EDT 2007

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.

More information about the Haskell-Cafe mailing list