Proof of concept for v2 - NO duplication, NO `static if` hell, NO difficulty with interoperability

[bauss]

On Monday, 8 November 2021 at 14:01:18 UTC, Atila Neves wrote:
> On Saturday, 6 November 2021 at 01:45:45 UTC, deadalnix wrote:
>> On Friday, 5 November 2021 at 17:33:54 UTC, Andrei 
>> Alexandrescu wrote:
>>> On 2021-11-05 11:06, Paul Backus wrote:
>>>> On Friday, 5 November 2021 at 14:08:58 UTC, Andrei 
>>>> Alexandrescu wrote:
>>>>> We never got reference counting to work in safe pure nogc 
>>>>> code. And we don't know how. If we did, we could write a 
>>>>> slice-like type that does everything a slice does PLUS 
>>>>> manages its own memory. This is the real problem with 
>>>>> containers.
>>>> 
>>>> I'm pretty sure at least some of us (including Atila) know 
>>>> how.
>>>
>>> Please post the code, thanks!
>>>
>>> Main problem is getting reference counting to work reliably 
>>> in the presence of purity and immutability.
>>
>> That and preventing the this pointer from escaping.
>
> Unless I'm missing something, `scope` and dip1000 cover that.

Which he covered in his message here:

> but instead we got a numerous features that don't quite work 
> (@nogc, DIP1000, @live, ...).