On Wednesday, 4 March 2015 at 10:50:54 UTC, Walter Bright wrote:
On 3/4/2015 1:16 AM, bearophile wrote:
Walter Bright:
The complexity of a free list doesn't remotely compare to
that of adding an
ownership system.
A sound complete ownership system is the only good enough
solution for D. That's
my opinion.
How do you type an an array of pointers with different owners?
Either the array is owning its elements or is is borrowing them.
There is no array of element with different owners.
How do you deal with the combinatoric explosion of template
instantiations with all those different ownership types?
It is better than the combinatoric explosion of the code I have
to write to support the various scheme proposed here (here RC and
GC are 100% separet worlds).
As long as RC require bookkeeping, the codegen must be different
anyway.
