This content originally appeared on DEV Community and was authored by Alex Devero
Currying is one of the more advanced techniques of working with functions. What it does is it allows you to transform functions, and the way your work with them. This tutorial will help you understand what currying in JavaScript is, how it works and how to use it in your code.
What is currying
First of all, currying exists in multiple languages, not just JavaScript. There are probably multiple ways to explain what currying is. Some simple? Let's start with this. Currying is a process. It is a process of transforming functions with specific number of arguments into a sequence of nested functions.
Each of these functions in the sequence is being returned and each is passed only one of the arguments. Only the last function in the sequence takes all arguments spread through the sequence, does some operation, and returns a value, or values. This is the first transformation.
// Curried function example:
function curriedFn(a) {
return function(b) {
return function(c) {
return a + b + c
}
}
}
// Normal function:
function fn(a, b, c) {
return a + b + c
}
The second transformation is how you call, or invoke, curried function. Usually, you would pass all required arguments inside the one set of parentheses. Not with curried functions. When you work with curried functions, you pass each argument into a separate set of parentheses.
// Calling curried function declared above:
curriedFn(11)(22)(33)
// Output:
// 66
// Calling normal function:
fn(11, 22, 33)
How currying works
Currying can look as something unusual especially for beginners. Let's take a look at how currying in JavaScript works, and why it can even work.
The thing about values, arguments, and closures
How easy or difficult it is to understand currying in JavaScript might well depend on how familiar are you with the concept of closures. It is thanks to closures currying works. Here is how these two work together. As you can see on the example, Each function in the sequence works only with a single argument.
It would make sense that when each function is called, the value passed into it as an argument is lost as well. This is not the case. The value still exists in the scope of the function that was called. What's more important is that any function inside this scope can access this scoped value as well.
All these values exist, and are accessible, as long as the execution of the sequence is going. When it terminates with the last function and the value it returns, these existing values are gone as well. This is also why the last, innermost, function can operate with all previously seen arguments.
In case of this last function in the sequence, the innermost, all these values still exist. This is also why it can work with them.
function curriedFn(a) {
// Argument "a" exists here
return function(b) {
// Argument "a" and "b" exist here
return function(c) {
// Argument "a", "b" and "c" exist here
return a + b + c
}
}
}
The thing about parentheses
So, the innermost function can return all previously seen values because they are kept alive thanks to closure. What about those additional parentheses? These parentheses serve two main purposes. First, they allow to pass specific argument to specific function.
This is determined by the order in which arguments are defined in the curried function. The second thing is more important and interesting. Each of these additional parentheses is actually a new function call. This means that when you see curried function with three pairs of parentheses, you are looking at three function calls.
Each of these calls invokes one of the functions in the sequence, while also providing required argument for that function.
// Create curried function:
function curriedFn(a) {
return function(b) {
return function(c) {
return a + b + c
}
}
}
// Calling curried function:
curriedFn(11)(22)(33)
// can be visualized as:
outermostFn(11) // curriedFn(a) { ... }
middleFn(22) // function(b) { ... }
innermostFn(33) // function(c) { ... }
This is also why currying allows you to call each function "manually". Each call returns a function. What you can do is to take each function call and sequentially assign its returned value to a variable. Each of these steps will result in variable assigned a function, except the last one.
The last variable will be assigned the value returned by the last function. This last value is what you get when you call curried function with all required argument, and pair of parentheses. The only difference are those extra lines and assigned variables.
// Create curried function:
function curriedFn(a) {
return function(b) {
return function(c) {
return a + b + c
}
}
}
// This:
curriedFn(11)(22)(33)
// is the same as (except those extra lines):
const firstCall = curriedFn(11)
const secondCall = firstCall(22)
const lastCall = secondCall(33)
console.log(firstCall)
// Output:
// ƒ ()
// That is:
// function(b) {
// return function(c) {
// return a + b + c
// }
// }
console.log(secondCall)
// Output:
// ƒ ()
// That is:
// function(c) {
// return a + b + c
// }
console.log(lastCall)
// Output:
// 66
// That is:
// a + b + c
Curried functions without arguments
Currying is usually used for functions that are defined with some parameters. However, this is not a rule. You can just as well create curried function that doesn't take any arguments. In this case, you still have to provide correct number of parentheses, just empty.
// Create curried function:
function curriedFn() {
return function() {
return function() {
return function() {
return function() {
return '??'
}
}
}
}
}
// Call curriedFn():
curriedFn()()()()()
// Output:
// '??'
Currying arrow functions
Just as you can curry regular functions, you can also curry arrow functions. This can help you reduce the amount of code you would otherwise have to use. The principles and way to use it is still the same. Only the syntax is different, due to the nature of arrow functions.
// Regular curried function:
function curriedFn(a) {
return function(b) {
return function(c) {
return a + b + c
}
}
}
// Arrow function alternative:
const curriedFn = (a) => (b) => (c) => a + b + c
// Calling the curried function:
curriedFn(11)(33)(55)
// Output:
// 99
Partial application functions
When we talk about currying in JavaScript, it is also useful to mention technique called partial application. The reason is that these two are very similar, so similar that it can be confusing. However, there is one key difference that will help you distinguish between them.
This difference is in the number of parameters. When you curry a function, each function in the sequence accepts only one parameter. This is not the case with partial application. In case of partial application, the rule is that the newly returned functions must accept fewer parameters.
This means that there might still be arguments spread across multiple pairs of parentheses. However, some of these pairs of parentheses will contain more than just one argument. When you see something like this, you are looking at partial application function, not curried function.
// Curried function example:
function myCurriedFn(x) {
return function(y) {
return function(z) {
return function(w) {
return x * y * z * w
}
}
}
}
myCurriedFn(3)(6)(3)(9)
// Output:
// 486
// Partial application function example:
function myPartApplicationFn(x) {
return function(y, z) {// Passing two arguments instead of one
return function(w) {
return x * y * z * w
}
}
}
myPartApplicationFn(3)(6, 3)(9)
// Output:
// 486
Conclusion: Introduction to currying in JavaScript
The concept of currying can be confusing and difficult to grasp. Just the word itself can sound weird. The syntax also isn't much helpful. I hope that this tutorial was helpful in shading some light on this topic, helping you understand how, and why, currying in JavaScript and how to use it.
This content originally appeared on DEV Community and was authored by Alex Devero
Alex Devero | Sciencx (2021-10-18T06:08:32+00:00) Introduction to Currying in JavaScript. Retrieved from https://www.scien.cx/2021/10/18/introduction-to-currying-in-javascript/
Please log in to upload a file.
There are no updates yet.
Click the Upload button above to add an update.