[Dlang-internal] 15th Planning (national congress edition)

Martin Nowak via Dlang-internal dlang-internal at puremagic.com
Fri Nov 11 08:48:14 PST 2016


On Friday, 11 November 2016 at 07:47:02 UTC, Andrei Alexandrescu 
wrote:
> Sorry to be late to the party, I'm on the road.

No hurries, this is an async meeting and can go on for a few 
days. We'd hardly ever find synchronous time for all of us.
You can subscribe to the dlang calendar linked in the OP for the 
dates.

> * Push RCBuffer into Phobos, which is the first safe refcounted 
> buffer that works with qualifiers. That should open the road 
> for the next item, which is

Missed that discussion, what's the difference between an RCBuffer 
and RC!(ubyte[16])?

> * Get going on a DIP on creating safe reference counted types.

Why we need a full DIP for that? It's the main goal for DIP1000 
and almost fully reached by that, except for that small hole 
mentioned below.

> The loose end that needs attention is making sure that methods 
> that return "ref" to reference-counted stuff don't leave said 
> references dangling upon assignment.

One idea for that is to disallow passing 2 arguments (call side) 
by ref, if their lifetime isn't the same. We could do more fancy 
stuff, e.g. check whether one argument could actually be an alias 
to the other, but that would require some exceptions, e.g. for 
`void[16] buf`.
I'm not a fan of the auto-increment approach, b/c it fails for 
Unique.
Anyhow this is not the right place to discuss, but the use-case 
seems rather rare to me, so we might move on with 
RC/Unique/WeakRef in a dub library, before fixing that and moving 
it to phobos.



More information about the Dlang-internal mailing list