News for hackers. Stuff that matters.
Re:Ownership and Borrowing in D by tus88 on Tuesday July 16, 2019 @03:09AM (#20448073)
> Guaranteed memory safety: Yes! (in code marked with the appropriate annotations)

Really? So if a thread passes a pointer to an object to another thread which frees it, the sending thread can no longer reference it? Genuine qn.

Re:Ownership and Borrowing in D by Crinus on Tuesday July 16, 2019 @05:07AM (#20448543)
According to the linked article, by "passing a pointer" the sending thread relinquishes ownership of the object and, yes, cannot access it anymore after the point where it was sent.

Of course this assumes all code in these threads use the ownership+borrowing mode.