Так начнем по порядку

>>Мы создаём объект, который хранит данные.

То есть у нас есть "урна" и есть "вещь", которую в нее положим.

>>Пользуемся объектом. Больше он нам не нужен.

Что значить он на не нужен? Будь у нас "великая урна" (бесконечная лента Тьюринга или оперативка) делили бы мы "вещь" на "нужную" и не "нужную"? Что собственно, задумывались бы мы об "удалении" объекта если бы имели бесконечную оперативку? Думаю нет, а отсюда вывод - деление есть следствие того факта, что  нет "бесконечной ленты" и собственно ложной идеи о "великой урне".

>>Ой... а это ж и есть мусор.

Оценив, пространственную сложность алгоритма имели бы мы мусор? - нет, так как мы запросили бы ровно столько "урн", сколько требует сам алгоритм.

>>Пусть программист сам выделяет и освобождает память.

Значить этот программист проводит оценку пространственной сложности алгоритма, и собственно запросит ровно столько "урн" сколько достаточно, и собственно он будет лишен идеи "мусора".

>>Программист то более эффективно может использовать ресурсы памяти и процессора (думал я в 90-х, когда программировал на ассемблере Z80)... Имхо, достаточно того, чтобы программист понимал как работает сборщик мусора и не создавал объекты без необходимости

Вот первое предложение - об оценке пространственной сложности, а второе - "предрассудок", который не имеет место быть при оценке.