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)).
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?
