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