Honestly, there is almost no difference between a purely recursive implementation on the stack and one that uses a passed-in stack structure (whether extensible

Honestly, there is almost no difference between a purely recursive implementation on the stack and one that uses a passed-in stack structure (whether extensible or fixed) in terms of complexity. Though I can see why it would be nice if the languages supported some sugar for this.