Хотя я думаю, что понимаю суть проблемы (т.е. хороший сборщик мусора отслеживает объектов , а не область ), я недостаточно знаю о предмете, чтобы убедить других.
Вы можете объяснить, почему нет мусора -собранные языки с детерминированными деструкторами?