AP
Он позволит обернуть в чистую
[a] -> [a]?Size: a a a
2021 March 08
AP
Нет ведь?
DS
иммутабельный вектор можно разморозить, помутировать и заморозить обратно, но заморозка — это линейное копирование.
можно ли будет делать Vector.swap за O(1) с линтиповой заморозкой?
можно ли будет делать Vector.swap за O(1) с линтиповой заморозкой?
если swap для внутренних нужд, можно сделать unsafe без копии
JS
если swap для внутренних нужд, можно сделать unsafe без копии
да, unsafeThaw/unsafeFreeze, но там надо быть очень внимательным. я не знаю, как доказать, что нет копий, даже "для внутренних нужд"
DS
функция используется внутри модуля но не экспортится наружу
JS
функция используется внутри модуля но не экспортится наружу
как это поможет справиться с копиями данных?
JS
Он позволит обернуть в чистую
[a] -> [a]?не понял. можешь переформулировать вопрос?
JS
да, unsafeThaw/unsafeFreeze, но там надо быть очень внимательным. я не знаю, как доказать, что нет копий, даже "для внутренних нужд"
а, кстати да, через unsafeThaw+unsafeFreeze можно написать linearSwap
AP
не понял. можешь переформулировать вопрос?
IOVector можно мутировать только в IO?
JS
IOVector можно мутировать только в IO?
да (через unsafe — в ST и далее везде)
AP
Автор изначального вопроса хотел как раз что-то вроде оттаивания/заморозки
AP
да (через unsafe — в ST и далее везде)
Ок, спс
DS
как это поможет справиться с копиями данных?
1 раз только копировать в том, что идёт на экспорт
JS
Автор изначального вопроса хотел как раз что-то вроде оттаивания/заморозки
не факт. скорее, автор хотел скопировать императивное решение в Хаскель
AP
Он же написал "внутри помутировать"
AP
Это как раз на оттаивание/заморозку похоже
AP
В Clojure такое практикуют, например (transients). Там оно ещё и без копирования работает за O(1), но нужно обеспечивать потокобезопасность
JS
1 раз только копировать в том, что идёт на экспорт
всё ещё что-то невероятное
DS
ну 2
JS
В Clojure такое практикуют, например (transients). Там оно ещё и без копирования работает за O(1), но нужно обеспечивать потокобезопасность
это то же самое, что и runST+unsafeThaw+unsafeFreeze?