On Borrow Checking

[Walter Bright]

On 4/29/2025 6:26 PM, jmh530 wrote:
> You wrote a blog post on ownership and borrowing back in 2019 
> (https://dlang.org/blog/2019/07/15/ownership-and-borrowing-in-d/), but it has 
> just a brief mention of @live. Would you want to expand your original post with 
> an emphasis on @live, why to use it, and what it gets you?
> 
> Otherwise to your point about lack of interest, my recollection is that there 
> has been a lot of discussion over the years about safe reference-counting, maybe 
> and allocator-aware container libraries (I assume this is possible but limited 
> in ways that people aren't happy about). And my sense is that DIP 1000 and @live 
> haven't quite gotten us to the place where people want the language to be. That 
> could be a driver to the lack of interest.

We spent a considerable time thinking about safe reference-counting. We could 
not find a way around its considerable performance penalties, and its unsafety, 
and so abandoned it.