On 4/18/2014 3:10 PM, John Colvin wrote:
On Friday, 18 April 2014 at 20:24:51 UTC, Walter Bright wrote:
On 4/18/2014 10:54 AM, John Colvin wrote:
My understanding is that a more sophisticated GC will also not coexist quite so
peacefully with pointers of all types. Is it not the conservativeness* of the GC
that enables this coexistence?
Yes. Which is one reason why D doesn't emit write gates for indirect assignment.
Which, if any, of the more sophisticated GC designs out there - in your opinion
- would work well with D? Perhaps more importantly, which do you see as *not*
working well with D.
Ones that imply intrusive code gen changes won't work well with D. D is not
Java, and does not have Java's every-pointer-is-a-gc-pointer semantics, not even
remotely.
