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

jfondren julian.fondren at gmail.com
Fri Nov 5 15:39:16 UTC 2021


On Friday, 5 November 2021 at 15:33:22 UTC, jmh530 wrote:
> On Friday, 5 November 2021 at 15:06:58 UTC, Paul Backus wrote:
>> 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.

Vibe needed more than one grade of it: 
https://vibed.org/api/search?q=isolated


More information about the Digitalmars-d mailing list