Hacker News Reader

I can't quite tell if you're serious. Continuations are fun, so I'll post this on the off chance it helps someone.

They are perplexing until they aren't. Model stack frames as independent state. When you return from a function the stack frame can stick around. Now later, place your stack pointer back in the frame that you returned from earlier.

Add a convention for passing arguments when you update the stack pointer as above. Now you have continuations.

View on HN

so you can place your stack pointer back in the frame that you returned from earlier? that's probably the point at which they stopped understanding continuations before even starting.

That’s the tricky part. There’s no stack anymore. Activation records of functions are heap-allocated and can stick around as long as necessary.

To be fair it's still a stack (the data structure). It just isn't contiguous in memory anymore.

Of course modern LLVM already breaks it up into chunks anyway (given certain flags at least) so it likely isn't contiguous regardless.

I was explaining the joke? Since the person I was replying to seemed to wonder if it was really a joke, whereas for me, structurally it was obviously a joke.

Reply on news.ycombinator.com