On Saturday, 6 February 2016 at 08:07:42 UTC, NX wrote:
What language semantics prevent precise & fast GC implementations?
Unions and easy type casting prevent precise GC.Lack of write barriers for reference-type fields prevent fast (generational and/or concurrent) GC. Some more detailed explanations here:
http://www.infognition.com/blog/2014/the_real_problem_with_gc_in_d.html
