Now do breadth-first traversal. With the iterative approach, you just replace the stack with a queue. With the recursive approach, you have to make radical changes. You can make either approach look natural and elegant if you pick the right example.

I’m presently working on a problem which uses traversal of TypeScript file syntax trees.

I can reasonably assume that we will never get a file with a deep enough syntax tree which would cause a stack overflow.

A manually managed stack might seem safer, but as pointed out by this article the code would be more complicated and, in my case, for no good reason.

The author is trying to demonstrate a problem and the proposed solution, using example code that the reader then needs to read, formulate a visual "structure" in their mind, and then apply that structure to the subsequent code.

Typescript is not in any way invalid here, and as a tool when programming something that will run in the real-world, can be invaluable.

However, when writing anything you want someone to deeply comprehend, you want to use the least amount of text needed to get your point across. Adding types don't serve any purpose here. The types used are generics, which tell you nothing specific, hence the name, and the names given to the functions and object properties are enough to convey what this code is doing.

The upcoming Polonius borrow checker is supposed to solve this, but it's still in alpha...

Huh. Where i work, the main problem is that everyone is hell-bent on transforming every iterative function into a recursive function. If i had a pound for every recursive function called "loop" in the codebase, i could retire.