DIP74 - where is at?

Andrei Alexandrescu via Digitalmars-d digitalmars-d at puremagic.com
Mon Oct 12 22:51:07 PDT 2015


On 10/13/15 3:09 AM, Timon Gehr wrote:
> On 10/12/2015 06:49 PM, Andrei Alexandrescu wrote:
>> Experience with Rust is still young, but there seems to have
>> already been a backlash; programmers try it and it's just too
>> arcane to use in constant preoccupation about them ownership rules.
>> ...
>
>> Copying linear types and going whole-hog stealing the ownership
>> system from Rust doesn't sound like the best strategy to Walter and
>> myself.
>
> D can do ownership without copying the details of the Rust way. I
> think that Marc's point was that basic similarities should be
> allowed, because the design space isn't that vast.
>
>> At least one PL researcher whose opinion I trust believes linear
>> types don't have a future.
>
> We already have linear types. (@disable this(this)).

That much is not too complicated.

>> D has its own context and its own approach to matters. I believe
>> creative solutions are possible that achieve much of what we need
>> without going the Rust way, which seems not appropriate for us.
>
> What do we need?

Next paragraph after the one you quoted:

> BTW where we want to be is: expressive reference counting without
> loss of @safe-ty and hopefully good uniqueness control again with
> @safe-ty and possibly a bit of compiler help.


Andrei


More information about the Digitalmars-d mailing list