On 4/11/2023 10:36 PM, Dmitry Olshansky wrote: > Humanity has been writing concurrent programs even without explicit shallow > shared for decades now. Of course you're right. And suffered endless weird and hard to debug problems. > Together with explicit head-shared we are strictly > better than status quo. Are we in terms of safety and correctness?