Working with functions
In the last section, we saw how we can obtain multi-input functions by nesting lambda expressions. This also implies that we can partially apply a function.
1 2 3
f = \x -> (\y -> x + y) f 1 = (\x -> (\y -> x + y)) 1 = (\y -> 1 + y)
The expression f 1 is itself a function that takes a single input and fills in the value supplied for the first input in the original function f. The expression f 1 is referred to as a curried function.