Как правильно работать с изменяемыми данными в Haskell

[KolesnichenkoDS]

user14284 в сообщении #1170451 писал(а):

Я не знаю всех тонкостей, но наивно считаю, что пока имя объекта в области видимости, его сборщик мусора не тронет. И наоборот. Нет?

Нет. Если бы всё работало как Вы описали, сборщик мусора был бы не нужен - объекты просто бы удалялись по мере выхода переменных из области видимости. Проблема в том что на один и тот же объект может быть несколько ссылок. Пример:

Используется синтаксис Haskell

foo = let xs = [1, 2, 3] in (0 : xs)

Таким образом, область видимости переменной xs заканчивается, но ссылку на список xs хранит список foo, поэтому сборщик мусора ничего с xs не сделает. В целом сборщик мусора работает грубо говоря так - периодически считает сколько всего ссылок на объект, если их нет - удаляет объект. На самом деле современные алгоритмы сборки мусора намного сложнее, но общий принцип такой.