EG
И хаскеллевские листы это вроде как более или менее вектора
То есть это
Box<dyn Show>.Size: a a a
2021 April 30
EG
То есть оно динамически забокшенное
То есть это
То есть это
DS
Ну да, это пример чуть про другое, конечно, я тебя просто не сразу понял.
Точный аналог твоего примера - это data Wut a = (Show a) => Wut a
Точный аналог твоего примера - это data Wut a = (Show a) => Wut a
B
оно там полувектор-полулист
EG
Такого я тоже не особо видел в хаскеллекоде, но, опять же, я не так часто его читаю
EG
Оно там достаточно сильно вектор, иначе бы было чудовищно медленно
DS
Оно компилится запросто
EG
Не, это-то понятно
DS
Нет, это листы
DS
Это прям настоящие листы
EG
Не верю?
Оно бы промахивалось мимо кеша и тормозило.
Оно бы промахивалось мимо кеша и тормозило.
B
оно типа ноды листа, но лежат вместе, как вектор
EG
На каждой итерации
DS
Спасает их фьюзион
EG
Это безумие
DS
Оно тормозит и промахивается, если у тебя реальный список будет создан
DS
Но обычно они не создаются, потому что оптимизации на рерайт рулах
B
а конкат у них O(1), тк они слипаются вместе
B
как листы
EG
Ну подожди, ты же не хочешь сказать, что оптимизатор Haskell настолько умный, чтобы при какой-то типовой задаче вроде «пропарсить JSON и получить из листа в нём последние десять элементов» вообще никак не хранить сам лист