Temporally safe by default

Sebastiaan Koppe mail at skoppe.eu
Fri Apr 5 21:32:24 UTC 2024


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?


More information about the dip.ideas mailing list