Stacksafety for free?
tl;dr. I demonstrate how to (ab)use generators/coroutines to transform any recursive function into an iterative function with nearly zero code changes. I explain the technique using a small example written in Rust, which can also be found on the Rust Playground and in a GitHub Gist. You can find links to implementations of the same example in Python and JavaScript in the Links section at the end.
If you are in a rush, you could skip the introduction and immediately jump to the implementation.
Introduction
During my recent preparation for coding interviews, I came across a problem where part of the solution was to determine all strongly connected components of a directed graph. I decided to compute these components using Tarjan’s algorithm, which is basically a glorified depthfirst search through the graph. Unfortunately for me, the test inputs on the coding platform I used were so large that my recursive implementation caused a stack overflow. Since I had no control over the execution environment, simply increasing the stack limits was not an option.^{1} Thus, I started to reimplement the depthfirst search in an iterative fashion.
The general approach for transforming recursion into iteration is to simulate the call stack in the heap and properly manipulate this simulated stack in one big loop until the stack is empty. The actual loop body can be derived from the original recursive implementation in a very systematic way that can also be very tedious. While I was semisystematically struggling through this tedium, I got annoyed by the fact that I as a human was doing something a computer would be so much better at than me. I stepped away from the problem and a few instants later it just struck me: What I was trying to do by hand is pretty much exactly the same a compiler has to do when desugaring generators (or coroutines) into simpler language constructs.
At this moment, my problem turned from a quite annoying one into a really exciting one: Can I actually (ab)use the compiler’s capabilities regarding generators to serve my goal of transforming recursion into iteration? I quickly fired up my Python IDE, read through the docs for generators, and hacked a little bit.^{2} A couple of minutes later, I had a small prototype demonstrating my idea works in principle. I was pretty hyped!
Since then, I’ve played with the idea a lot. I got more complex and bigger examples to work, tried it out in other programming languages, thought about mutually recursive functions, looked into mutability and ownership, ran a lot of benchmarks, and figured out how to handle tail calls efficiently. I also started to wonder if this idea is actually wellknown and I’m just reinventing the wheel or if I’m onto something. Despite my best efforts, I could not find any evidence of this idea anywhere. That’s why we’re here now! Although there’s a lot to write about, this blog post focuses solely on the basic idea. I’ll talk about everything else in future blog posts.
Implementation
The basic idea behind the technique to transform recursion into iteration is surprisingly simple and can be implemented in any language that supports generators. I’ve chosen to use Rust here since convincing its very rigid type and borrow checkers of my idea increases me confidence that the idea is sound. In fact, we need to use Rust nightly because generators are not stable yet.
We use a small recursive function triangular
, which computes triangular numbers, as an example to demonstrate the technique. Note that triangular
is not tail recursive. Although this is surely not the sort of function where one would resort to general techniques, its simplicity allows us to focus on the transformation itself rather than being distracted by unrelated complexity. An uninterrupted and selfcontained version of the code shown in this blog post can be found on the Rust Playground in a GitHub Gist.
In order to transform triangular
into an iterative function, we only need to perform two simple steps:
 Replace every recursive call to
triangular
by ayield
expression.  Wrap the resulting generator function into the higherorder function
trampoline
, which we will discuss below.
The result of this transformation is the function triangular_safe
below, which computes the same values as triangular
but does so without overflowing the stack, even for large input values n
. In other words, triangular_safe
is a stacksafe version of triangular
.
Despite some minor boilerplate introduced by Rust’s syntax for generators, namely the move _
bit, it should be quite clear how we got from triangular
to triangular_safe
. Ultimately, this transformation could be implemented by a procedural attribute macro in Rust.
The final piece of the technique is the higherorder function trampoline
.^{3} It is important to understand that trampoline
cannot only handle triangular
but rather all recursive functions of some type fn(A) > B
, where A
doesn’t contain any mutable references, regardless of whether they are tail recursive or not. Roughly speaking, trampoline
implements the general approach of “simulate the call stack in the heap and run one big loop” mentioned above. The elements of this simulated stack are partially run generators that have been produced by a generator function f
passed to trampoline
. In our example, f
is the generator function we’ve obtained from triangular
by replacing each recursive call with yield
. One can think of this construction as f
“returning” to the loop instead of calling itself recursively and the loop orchestrating the proper flow of calls to f
.
Conclusion
The presentation of a technique that general often raises more questions than it answers. A few question that come mind immediately: Does it work in all cases, like in the presence of mutable references? In which directions can it be further generalized, to mutually recursive functions for example? And what about performance? Although I know that it can be made to work with mutable references and have an idea for how to make it work with mutual recursion, I won’t go into any details here but rather do so in future blog posts.
Regarding performance, I have some preliminary numbers which make me quite optimistic. The iterative version of Tarjan’s algorithm produced using this technique seems to be less than 5% slower than the recursive version. For the Ackermann function, which does barely anything besides making recursive calls, the slowdown is under 25%. To get the full picture we need a lot more benchmarks and performance tunings though.
If it turns out that the range of recursive functions to which this technique can be applied with acceptable performance implications is big enough, I intend to make an implementation of this idea easily available to everybody on crates.io. My grand vision in this direction is to provide an attribute macro #[stack_safe]
that can be slapped onto any recursive function to automatically transform it into an iterative function.
If all stars align and we achieve acceptable performance, manage to implement such a macro and land generators in Rust stable, we will be able to boldly claim Rust provides “Stacksafety for free!”
Links
 GitHub repository containing my experiments with the idea
 Reddit post with some interesting comments
The following links provide uninterrupted and selfcontained versions of the code shown in this blog post and translations into other languages.
 Rust Playground
 Python Playground
 JavaScript Playground
 GitHub Gist with Rust code
 GitHub Gist with Python code
 GitHub Gist with JavaScript code

While I worked on the smart contract language Daml at Digital Asset, we had to deal with so many stack overflows caused by recursive traversals of deep abstract syntax trees in execution environments we had no control over that it has become almost second nature to me to blame the recursion and not the stack limits for the overflows. ↩

Although I generally prefer strongly typed programming languages, I didn’t want any type checker to get in my way while exploring this question. ↩

In the initial version of this blog post,
trampoline
was calledrecurse
. As anydalch pointed out on Reddit such a function is known as a trampoline in programming. Hence the change in name. ↩
Comments