Skip to content

Instantly share code, notes, and snippets.

@Gozala
Created January 29, 2012 03:46
Show Gist options
  • Save Gozala/1697037 to your computer and use it in GitHub Desktop.
Save Gozala/1697037 to your computer and use it in GitHub Desktop.
Workaround for lack of "tail call optimization" in JS
// Lack of tail call optimization in JS
var sum = function(x, y) {
return y > 0 ? sum(x + 1, y - 1) :
y < 0 ? sum(x - 1, y + 1) :
x
}
sum(20, 100000) // => RangeError: Maximum call stack size exceeded
// Using workaround
var sum = tco(function(x, y) {
return y > 0 ? sum(x + 1, y - 1) :
y < 0 ? sum(x - 1, y + 1) :
x
})
sum(20, 100000) // => 100020
function tco(f) {
/**
Takes `f` function and returns wrapper in return, that may be
used for tail recursive algorithms. Note that returned funciton
is not side effect free and should not be called from anywhere
else during tail recursion. In other words if
`var f = tco(function foo() { ... bar() ... })`, then `bar`
should never call `f`. It is ok though for `bar` to call `tco(foo)`
instead.
## Examples
var sum = tco(function(x, y) {
return y > 0 ? sum(x + 1, y - 1) :
y < 0 ? sum(x - 1, y + 1) :
x
})
sum(20, 100000) // => 100020
**/
var value, active = false, accumulated = []
return function accumulator() {
// Every time accumulator is called, given set of parameters
// are accumulated.
accumulated.push(arguments)
// If accumulator is inactive (is not in the process of
// tail recursion) activate and start accumulating parameters.
if (!active) {
active = true
// If wrapped `f` performs tail call, then new set of parameters will
// be accumulated causing new iteration in the loop. If `f` does not
// performs tail call then accumulation is finished and `value` will
// be returned.
while (accumulated.length) value = f.apply(this, accumulated.shift())
active = false
return value
}
}
}
@jdalton
Copy link

jdalton commented Feb 6, 2012

@ypocat I meant we all prefer a certain code style and others stink :)

@githubhy
Copy link

@Gozala. Thanks for your sharing. This is a little tricky at the first sight. I've got one question: Is this line active = false at the accumulator() really necessary?

@glathoud
Copy link

glathoud commented Jul 7, 2018

@Gozala Congratulation for the conciseness of the solution.

Along similar lines, but taking the path of "explicit" tail calls, similarly to Syntactic Tail Calls, there is fext.js. It deals with performance and mutual recursion.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment