DMD 2.100, bring ont he attribute soup

[John Colvin]

On Sunday, 29 May 2022 at 16:26:03 UTC, Walter Bright wrote:
> On 5/29/2022 7:18 AM, Paul Backus wrote:
>> Unfortunately it is not possible to write @safe code that 
>> relies on @live for lifetime tracking, so its utility is 
>> extremely limited in practice.
>
> I don't know what you mean.
>
> Unless you're referring to containers. I'm not well acquainted 
> with Rust, but I think you can't write many containers there 
> without dipping into unsafe code.

Have you considered starting with some simple container 
implementations and seeing how your design allows them to be 
@live @safe? It would be good if the discussion had some central 
& complete* examples that people can pick over. I feel like all 
this discussion without concrete code that does real work might 
easily lead to collective blind spots. Of course one must make 
sure the theory makes sense to ensure generality, but concrete 
examples are excellent checks.

* i.e. would actually be useful. Even an example showing how to 
implement a @live @safe array type would be enlightening. The 
best would be "this complete, useful library type sucks in D, 
here's how it would be much better with @safe @live D".

Forgive me if these already exist somewhere.