Memory management and local GC?

[Ola Fosheim Grøstad]

On Monday, 2 November 2020 at 14:44:08 UTC, Steven Schveighoffer 
wrote:
> D has shared qualifier, which indicates whether any other 
> thread has access to it.
>
> This is kind of the lynch pin of all these schemes. Without 
> that enforced properly, you can't build anything.
>
> But with it enforced properly, you have options.
>
> There are still problems. Like immutable is implicitly shared. 
> Or you can have a type which contains both shared and unshared 
> members, where is that allocated?

There is something called separation logic, which might be 
interesting to look at if you are interested in this topic.

https://en.wikipedia.org/wiki/Separation_logic