|
|
|
|
|
|
by ekipan
93 days ago
|
|
|
> - 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? |
|
|
It's not, and the authors doesn't have to. Using your definitions, `f . g` is a function of a single free argument (whether you call it x or y or whatever). Partial application occurs when you want to fix some parameters but not all of them. In the present case, however, there is only one parameter (x) and it's not fixed, so there's no partial application to speak of and one can omit the parameter as usual.
Put differently: (.) is a binary operator on functions, and length = f . g from the OP is an equation of functions. You can certainly write it down pointwise, i.e. length(x) = (f . g)(x), but that doesn't tell you anything you didn't know already, and it is unrelated to the case of partial application that the author is discussing.