D vs Java

[Matthias Spycher]

Sean Kelly wrote:
> Matthias Spycher wrote:
...
>> True, but accurate garbage collection is a requirement if you're going 
>> to scale to support large, long-running applications. C-pointer 
>> functionality eliminates the potential. The D community might (in the 
>> future) consider the introduction of a managed D subset that would 
>> make accurate GC possible.
> 
> The D standard doesn't have any language that prevents this.  I think it 
> would be quite possible to implement an incremental GC in D if one had 
> control over code generation.

Are you suggesting whole-program analysis? Would one have to compile a 
certain way ahead-of-time to support a particular kind of GC? If yes, do 
you think that's practical? How would you deal with shared libraries 
that may be dynamically loaded -- fall back to a conservative GC?