Andrew Coppin <andrewcoppin <at> btinternet.com> writes: > I just found it rather surprising. Every time *I* try to compose with > functions of more than 1 argument, the type checker complains. > Specifically, suppose you have > > foo = f3 . f2 . f1 > > Assuming those are all 1-argument functions, it works great. But if f1 > is a *two* argument function (like map is), the type checker refuses to > allow it, and I have to rewrite it as > > foo x y = f3 $ f2 $ f1 x y > Look at the type of (.).(.) which should tell you how to compose functions with more than one variable. Mind you, I don't think it improves readability.
Dominic. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
