I should have distinguished one-shot continuations and general continuations. I 
take it that's the distinction you're making? Task migration still sounds to me 
like it's equivalent to the former. You're right, though, that duplicating 
continuations would be problematic for Rust's memory model and type system.

Anyway, I wasn't trying to advocate for the addition of new language features, 
just suggesting that some of the implementation techniques for continuations 
might be useful for task migration. I should also add that they can be helpful 
for resizable stacks, too, which have many of the same implementation 
challenges as continuations.

> Scheme's dynamic-wind is a cute, but utterly unsatisfactory, alternative.

I didn't propose it (and there's no need to be condescending). I think you're 
arguing with straw-men. I'm not trying to shove Scheme into Rust. All I did was 
point to a paper with some implementation techniques for runtimes.

Dave

_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev

Reply via email to