Зачем мне сборщик мусора в языке с герметичной системой типов (в том числе ссылок/указателей)?
Порчи памяти можно избежать без использования сборщика мусора на самом деле. То есть принципиально это возможно.
Проблема, вроде, не в том, что программист по своему недомыслию не освободит какой-либо указатель, а в том, что зачастую программист В ПРИНЦИПЕ не может определить пора уже освобождать вот этот вот указатель, или нет. И, если верить Куно Пфистеру, то такая ситуация сплошь и рядом встречается в компонентно-ориентированном программировании. Готовы ли Вы оспорить Пфистера по этому вопросу?
(Про себя могу сказать, что я не готов спорить с Куно Пфистером, но хотел бы разобраться глубже в этом вопросе)