On Wednesday, 12 February 2014 at 12:11:04 UTC, Shammah
Chancellor wrote:
With all the talk of garbage collection. I was wondering if it
would be useful to make the GC typed. If it was typed, it
maybe be possible to make it more efficient via type
information, (such as only scanning reference fields). Also,
it could have access to attribute information if applicable.
-S.
This is how "almost precise" GC used in VisualD works. Type
information is used to mark all pointers in most heap objects,
but objects on stack and closures are still scanned
conservatively, IIRC. Unfortunately this GC is not included in
the main D distribution, probably because it's considered to not
be tested well enough.
