DIP60: @nogc attribute

[Walter Bright via Digitalmars-d]

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.