Conversation

Notices

1. Sergey Bugaev (bugaevc@floss.social)'s status on Wednesday, 15-Feb-2023 08:45:06 JST Sergey Bugaev

   in reply to

   This is non-trivial, because the whole point of the scoped API is that...

   // ...you can capture things from here
   thread::scope(|s| {
   // ..you *cannot* capture things from here
   s.spawn(|| some_work());
   });

   And yet, they've made capturing s just work
   ¯\_(ツ)_/¯

   • Sergey Bugaev (bugaevc@floss.social)'s status on Wednesday, 15-Feb-2023 08:45:07 JST Sergey Bugaev

     Cool, apparently with the std::thread::scope() API in Rust 1.63.0, they managed to design it in a way that

     - is still sound
     - still lets you spawn more scoped threads from inside scoped threads
     - does not require passing down that extra |s| argument to all the closures!

     Adrian Cochrane repeated this.