Chatting with Marijn on IRC, I think he's probably right that the tricks in the paper are focused on making continuations copyable, and I guess there's not much tricky that needs to be said about moving a continuation (as opposed to copying).
Dave On Apr 17, 2011, at 7:17 AM, David Herman wrote: > 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 _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
