Call-Stack is the best representation of program state. That's why threads are very good.

Callbacks, continuations... all this is trying to program without stack representing the program state.