On Wed, Dec 3, 2008 at 10:17 AM, Matt Hellige <[EMAIL PROTECTED]> wrote:
> >From time to time, I've wanted to have a more pleasant way of writing
> point-free compositions of curried functions.

> I'd like to be able to write something like:
>  \ x y -> f (g x) (h y)

This particular composition of f with g and h is an example of
composition in what mathematicians call an operad. I think operads
glue things just how you want. Unfortunately (1) I don't think
mathematicians have great notation for it either and (2) it's hard to
combine operads with currying because they rely on having a well
defined notion of the number of arguments of a function.
--
Dan
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to