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