The conversion of multi-variable functions into multiple chained unary functions.
Consider the binary function
add(y, z)
.
(x, y) -> x + y \\ non-curried
x -> y -> x + y \\ curried
This is useful in cases where some arguments are unavailable until later on in the computation process - allowing for the partial application of a function first.