> - Function composition was being used as a binary operator between two functions. You just replaced the infix notation with prefix notation.
That's incorrect. Here's the definition of function compose:
(f . g) x = f (g x)
So in `foldr (+) 0 . map (const 1)`, the author gives `f = foldr (+) 0` and `g = map (const 1)` but doesn't supply `x`. That's a partial application. Similarly for const:
const x y = x
Even if I concede length and (+), these two are partially applied.
> you would only have to use it in partial applications of that function.
So why not const and (.)? If they're allowed to curry, why not foldr and map?
That's incorrect. Here's the definition of function compose:
So in `foldr (+) 0 . map (const 1)`, the author gives `f = foldr (+) 0` and `g = map (const 1)` but doesn't supply `x`. That's a partial application. Similarly for const: Even if I concede length and (+), these two are partially applied.> you would only have to use it in partial applications of that function.
So why not const and (.)? If they're allowed to curry, why not foldr and map?