B
еще можно сказать, что они как дерево перевернутое, тк несколько начал могут смотреть в 1 хвост
Size: a a a
2021 April 30
EG
Что-то же там в памяти есть
B
типа вектор с нодами листа и с оверхедом от pNext
EG
Ну вот я себе примерно так это и представлял, да
EG
И если это хоть чуть-чуть вектор, то ты уже не можешь хранить в нём элементы разного размера
B
а при конкате это будет 2 вектора, и один в другой смотрит
DS
Ты в хаскеле можешь описывать на уровне библиотек преобразования которые может совершать компилятор.
Листы пользуются тем что условно fold от unfold можно выполнить без создания списка.
Большинство операций из стдлибы описаны именно через такие фолды и анфолды, они инлайнятся, а потом рерайт рулы фигачат fold unfold в аналогичную по поведению функцию без создания списков
Листы пользуются тем что условно fold от unfold можно выполнить без создания списка.
Большинство операций из стдлибы описаны именно через такие фолды и анфолды, они инлайнятся, а потом рерайт рулы фигачат fold unfold в аналогичную по поведению функцию без создания списков
EG
То есть ты правда хочешь сказать, что если лист всё-таки добрался до памяти, то он хранится как наивный лист с отдельно аллоцированными на куче нодами?..
B
это также может быть вектор поинтеров, но вряд ли
p
Все понятно
EG
И почему у этих имплов разные баунды?
EG
Кроме «потому что мы втыкали баунды, пока оно не скомпилировалось», это не семантика, это отчаяние.
p
Код не говорит "что" код говорит "как"
EG
«Я умею написать кучу говна, которое ничего не значит, и потом его прочитать»
EG
Вау, класс, а в чём ценность?
p
Это вопросы к разрабам
p
Я всегда знаю что значит каждый дженерик и лайфтайм в моем коде
EG
Пока не пройдёт три года
EG
Ты подожди, пока помнишь, все «знают»