If someone has a reference into some data that is currently being shared to another thread via structured concurrency, they won’t be able to mutate it during the structured concurrency.
This is what I’m saying: that sounds eerily similar to shared-xor-mutable :P
It seems like one plan would be to:
Define closure types that have/don’t have mut effects inside them
Define structured concurrency to always take closures that don’t have mut effects inside them
Define mutexes which can apply closures with mut effects without also being a mut effect externally.
This is what I’m saying: that sounds eerily similar to shared-xor-mutable :P
It seems like one plan would be to:
muteffects inside themmuteffects inside themmuteffects without also being amuteffect externally.is that about right?
score 1 · canonical
Yep, that’s exactly right, well said.
score 1 · canonical