Why does D rely on a GC?

[bearophile via Digitalmars-d]

Jonathan M Davis:

> The biggest reason is memory safety. With a GC, it's possible 
> to make compiler guarantees about memory safety, whereas with
> manual memory management, it isn't.

Unless you have a very smart type system and you accept some 
compromises (Rust also uses a reference counter some some cases, 
but I think most allocations don't need it).

Bye,
bearophile