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

jmh530 john.michael.hall at gmail.com
Fri Nov 5 15:33:22 UTC 2021


On Friday, 5 November 2021 at 15:06:58 UTC, Paul Backus wrote:
> On Friday, 5 November 2021 at 14:08:58 UTC, Andrei Alexandrescu 
> wrote:
>> [snip]
> One idea that's come up recently in the community Discord is a 
> `unique(T)` qualifier, which would guarantee that any memory 
> reachable via indirections in a given `T` value is not aliased. 
> Exactly how to enforce this is an open question.

That's a new idea? I'm pretty sure there were a few people who 
have been saying something like that for a while. It's like 
putting @live into the type system.


More information about the Digitalmars-d mailing list