Názor ke zprávičce Microsoft pracuje na novém programovacím jazyce pro systémové programování od KarelI - class A { A * p; A() {p...

class A { A * p; A() {p = this;}};
while(true) { new A(); }

Na tomto programu RC alokátoru dojde paměť, tracing GC to v O(1) vyhodnotí jako volnou paměť.

Můžeš argumentovat, že to optimalizátor prokoukne, v tom případě tě mohu ujistit, že na každý optimalizátor lze najít algoritmus, kde to selže. A samozřejmě čím složitější data a algoritmus, tím hůř se to bude programátorovi hlídat (a hlídat to musí vždy).