Temporally safe by default

Richard (Rikki) Andrew Cattermole richard at cattermole.co.nz
Sat Apr 6 10:16:33 UTC 2024


On 06/04/2024 11:02 PM, Sebastiaan Koppe wrote:
> On Saturday, 6 April 2024 at 06:12:21 UTC, Richard (Rikki) Andrew 
> Cattermole wrote:
>> On 06/04/2024 10:32 AM, Sebastiaan Koppe wrote:
>>> So, unique?
>>
>> At the most basic level yes.
>>
>> I'm simplifying it to not lock me into any specific behavior of 
>> references to the sub graph.
>>
>> https://joeduffyblog.com/2016/11/30/15-years-of-concurrency/
> 
> Unique would be a great addition to have.
> 
> We still need shared, though. For when you want to have multiple threads 
> refer to the same object.

I do want to see cross thread temporal safety also provided.
But I don't think it will be using shared to do it.

To make it all come together requires pieces that haven't got designs 
yet, so this would be the last stage that would need designing or at 
least that is how I've been working on it.


More information about the dip.ideas mailing list