Anonymous Recursion in JavaScript
simo
Posted on August 6, 2017
(
(
(f) => f(f)
)
(
(f) =>
(l) => {
console.log(l)
if (l.length) f(f)(l.slice(1))
console.log(l)
}
)
)
(
[1, 2, 3]
)
Yes, there is such thing, and I thought it would be an interesting example to share. It features: closures, self-executing functions, arrow functions, functional programming, and anonymous recursion.
You can copy/paste the above example in your browser's console. The output is as follows:
[ 1, 2, 3 ]
[ 2, 3 ]
[ 3 ]
[]
[]
[ 3 ]
[ 2, 3 ]
[ 1, 2, 3 ]
Speaking of functional programming, here is how similar example look like in Scheme (one of the languages JavaScript was influenced by):
(
(
(lambda (f) (f f))
(lambda (f)
(lambda (l)
(print l)
(if (not (null? l)) ((f f) (cdr l)))
(print l)
)
)
)
'(1 2 3)
)
Unwind
Like in many other programming languages calling a function is done by appending parentheses ()
after its name:
function foo () { return 'hey' }
foo()
In JavaScript we can wrap any number of expressions in parentheses:
('hey', 2+5, 'dev.to')
The result of the above snippet is 'dev.to'
. The reason why is because JavaScript returns the last expression as result.
Wrapping a single anonymous (lambda) function in parentheses ()
means that the result will be the anonymous function itself:
(function () { return 'hey' })
That in itself is not very useful because the anonymous function does not have a name, and we won't be able to reference it unless we call it immediately during initialization.
Like a regular function, we can append parentheses ()
after it to call it:
(function () { return 'hey' })()
The same goes with the arrow functions:
(() => 'hey')()
Again, appending parentheses ()
after the anonymous function means that we are executing it, also known as self-executing function.
Closures
A closure is the combination of a function and the lexical environment within which that function was declared. Combined with arrow functions we can define it like this:
var foo = (hi) => (dev) => hi + ' ' + dev
Calling the above function in the browser's console will print 'hey dev.to'
:
foo('hey')('dev.to')
Note that we have access to the hi
argument from the outer scope of the enclosing function inside the enclosed inner one.
The above code is identical to:
function foo (hi) {
return function (dev) { return hi + ' ' + dev }
}
And the self-executing version would be:
(
(hi) =>
(
(dev) => `${hi} ${dev}`
)
('dev.to')
)
('hey')
First the hey
parameter is passed to the outermost scope to the above function as hi
argument. Then that function returns yet another self-executing function that needs to be evaluated first. The dev.to
parameter is then passed as the dev
argument to the innermost function, and that function return the final result: 'hey dev.to'
.
Going Deep
Here is a slightly modified version of the above self-executing function:
(
(
(dev) =>
(hi) => `${hi} ${dev}`
)
('dev.to')
)
('hey')
First the hey
parameter is passed as argument to the outermost scope, but instead of a function there we have yet another expression that needs to be evaluated first. So the dev.to
parameter is then passed to the inner self-executing function as the dev
argument and returns another function. That last function is what satisfies the outermost scope and therefore receives the hey
parameter.
It's important to note that the self-executing functions and closures are used to initialize and encapsulate state, and this is what we're going to use in our next example.
Anonymous Recursion
Going back to our initial example, this time annotated:
(
(
(f) => f(f) // 3.
)
(
(f) => // 2.
(l) => { // 4.
console.log(l)
if (l.length) f(f)(l.slice(1))
console.log(l)
}
)
)
(
[1, 2, 3] // 1.
)
- The input array
[1, 2, 3]
is passed to the outermost scope - This entire function is passed as argument to the function above
- This function receives the bottom one as argument
f
and calls it with itself -
2.
being called in3.
results in returning the4.
function which is the one that satisfies the outermost scope and therefore receives the input array as thel
argument
The reason for all of this is to have a reference to the f
function inside the recursive one that receives the input array l
. That way we can call it:
f(f)(l.slice(1))
Note that f
is a closure so we need to call it with itself just to get access to the innermost function that operates on the input array.
For explanatory purposes the first console.log(l)
statement represents the recursive top-down, and the second one the recursive bottom-up.
Conclusion
I hope you enjoyed this article and learned something new out of it. Closures, self-executing functions and functional programming patterns are not black magic. They follow simple principles that are easy to understand and fun to play with.
That being said you have to develop a sense of your own when to use them, or not. If your code becomes harder to maintain, then it's probably a good idea to refactor it a little bit.
Nevertheless understanding these fundamental techniques is pivotal to creating clean and elegant solutions, as well as leveling up.
Happy Coding!
Posted on August 6, 2017
Join Our Newsletter. No Spam, Only the good stuff.
Sign up to receive the latest update from our blog.