Temporally safe by default

Richard (Rikki) Andrew Cattermole richard at cattermole.co.nz
Sat Apr 6 06:12:21 UTC 2024


On 06/04/2024 10:32 AM, Sebastiaan Koppe wrote:
> On Friday, 5 April 2024 at 09:59:58 UTC, Richard (Rikki) Andrew 
> Cattermole wrote:
>> See all the examples of people having to cast on/off ``shared`` to 
>> pass memory between threads. With temporal safety we'd have some sort 
>> of immutable reference that enables us to transfer ownership of an 
>> object across the function/threads. With guarantee that it isn't 
>> accessible by somebody else.
> 
> Sounds a lot like what I know as unique.
> 
>> [...] a language feature where the reference to memory is limited to a 
>> single location.
> 
> 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/


More information about the dip.ideas mailing list