On Friday, 10 April 2015 at 15:44:32 UTC, Andrei Alexandrescu
wrote:
We hope to do better than Rust. -- Andrei
Hope does not cut it.
A design that breaks down even on a linked list (e.g. you have to
turn to ref-counted pointers everywhere) and that makes
findByRef(container,node) break should not have made it to a DIP
in the first place.
D needs clean semantics on what is a value. The only sensible
definition for a copyable value is that you cannot take the
identity in _any way_ from a value or anything that can be
reached from it.
D needs clean semantics on what is unique ownership. Ref counting
is not it. Pervasive ref counting requires WPO to work out ok.
C++14 with sanitizer tooling is a lot more attractive than this
direction you are going for.
