Здравствуйте, Klapaucius, Вы писали:

K>Пример работающего кода, запощенный сюда, с микробенчмарком и всей информацией необходимой для воспроизведения результата.

Так вот прямо же по той моей ссылке theron-library.com/index.php?t=page&p=performance график, а под ним таблица с цифрами. А в самом начале страницы идут ссылки на описание каждого теста: постановка задачи и полный исходный код. Типа такого theron-library.com/index.php?t=page&p=threadring.

Хм, сейчас заметил, что форум работает некорректно и портит ссылки: заменяет & на &. Поменял ссылки на просто текст.

_>>И что по вашему ещё должно обязательно входить в реализацию модели акторов? )
K>Что бы там по-моему не должно было быть, все вами будет, конечно, отметено как ненужное.

Ну так в отличие от довольно мутного понятия "поддержка иммутабельности в языке" модель акторов имеет подробные описания... )

_>>Копирование только в случае если это не последняя версия.
K>Ну так иммутабельной (персистентной) структурой данных называется такая, которая в этом случае полного копирования не требует. Такая, как вы описываете — это мутабельная (эфемерная).

С чего бы это? Как раз мутабельной копирование не требуется.

K>Спор в интернете не такая простая вещь как вы думаете. К примеру, если вы приводите неработающий пример — я вовсе не обязан считать его неопровержимым аргументом, как вы от меня сейчас ожидаете.

А что там этим примером? Ответ выдаёт неправильный или работает не быстро? )

K>"вы стеком не обойдетесь" в данном случае означает, что для управления памятью стека не достаточно.

Ну так если в дополнение к стеку будет разрешено делать ещё new/delete (только для больших данных) внутри классов (т.е. наружу не выходит и управляется через RAII и тот же стек), то уже будет достаточно для подавляющего числа задач.

K>Так в этом и проблема. В общем случае, в высокоуровневом коде знания о времени жизни нет.

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

K>А если 90% данных между документами разделяются? Вот иммутабельная структура данных — это набор таких документов. Понятна идея?

Идея понятна. Но не понятен пример реальных разделяемых данных в каких-то редакторах. Я вот вспоминаю что Word, что Excel (про программистские редакторы вообще молчу), что графические, везде максимум ссылки между документами встречаются и никакого разделения. Может быть такие вот иммутабельные структуры решают очередную виртуальную академическую проблему? )