AZ
и копируются на каждый чих
Size: a a a
2020 April 10
DS
представь гипотетический хаскель где списки не персистентые
Ну в хаскеле так массивы работают
DS
Так что что уж представлять
AZ
Ну в хаскеле так массивы работают
но массивы в хаскелле в ст обычно живут, не?
DS
но массивы в хаскелле в ст обычно живут, не?
Не обязательно, у тебя есть обычные Array и Vector
AZ
Не обязательно, у тебя есть обычные Array и Vector
но если ты пользуешься не fromList и прочим то они будут как раз хреново работтаь
DS
но если ты пользуешься не fromList и прочим то они будут как раз хреново работтаь
В смысле?
Это обычные массивы, только разве что с cow
Это обычные массивы, только разве что с cow
AZ
В смысле?
Это обычные массивы, только разве что с cow
Это обычные массивы, только разве что с cow
если я определю фмап для массива как для списка я не увижу просадки перфоманса?
AZ
DS
если я определю фмап для массива как для списка я не увижу просадки перфоманса?
Смотря какие rewrite rules ты при этом напишешь
DS
Так вроде тут уже было
AZ
Смотря какие rewrite rules ты при этом напишешь
никаких
AZ
и для моего списка тоже никакх
DS
Тогда оба будут работать фигово, надо мерять насколько
DS
Ну и да, вопрос в ленивости
DS
И когда считать производительность подобной операции.
После вычисления элементов списка?
После вычисления элементов списка?
AZ
И когда считать производительность подобной операции.
После вычисления элементов списка?
После вычисления элементов списка?
let !foo = myfmap list
let !bar = myfmap vecDS
let !foo = myfmap list
let !bar = myfmap vecЭто не полное вычисление структуры.
В силу того как сделаны списки у тебя эта штука нормально вернётся и для бесконечного списка.
В силу того как сделаны списки у тебя эта штука нормально вернётся и для бесконечного списка.
AZ
Это не полное вычисление структуры.
В силу того как сделаны списки у тебя эта штука нормально вернётся и для бесконечного списка.
В силу того как сделаны списки у тебя эта штука нормально вернётся и для бесконечного списка.
ну предполагается что лист и век подобным образом созданы
DS
ну предполагается что лист и век подобным образом созданы
Ну а тогда надо считать. У тебя тут кэш-френдли структура (пусть и с кучей копирований) vs не кэш-френдли структура.
Чёрт знает кто победит
Чёрт знает кто победит