DIP60: @nogc attribute

[via Digitalmars-d]

On Friday, 18 April 2014 at 22:10:06 UTC, John Colvin wrote:
> 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.

I think you can improve GC by:
- supporting c++ owned/shared pointers at the language level and 
marking them as no-scan.
- aligning scanned pointers in structs and classes to the same 
cache line
- having scan metadata at an offset from the return address of 
functions
- segmented collection
- whole program analysis to figure out what individual stacks can 
contain
- meta level invariants specified by the programmer