I think that an easy-to-implement and reasonably performant garbage collector (GC) would combine two approaches: - Let the compiler automatically free variable

I think that an easy-to-implement and reasonably performant garbage collector (GC) would combine two approaches: - Let the compiler automatically free variables that go out of scope (using static analysis to insert free calls). - Use reference counting when the scope is too hard to determine (fall back on a dynamic check).