VD
Хотелось бы чтоб модификация пусть в IO, но можно было бы создавать или хотя бы передавать его в чистые функции.
data Foo = Foo { arr :: IOVector Word16, другие штуки }
bar :: Foo -> Bool
bar = ...Size: a a a
2021 March 04
VD
Т.е. сделать такое:
JS
Хотелось бы чтоб модификация пусть в IO, но можно было бы создавать или хотя бы передавать его в чистые функции.
только через freeze, иначе данные могут мутировать конкурентно с чистым кодом, который в это время смотрит на них
JS
Т.е. сделать такое:
data Foo = Foo { arr :: IOVector Word16, другие штуки }
bar :: Foo -> Bool
bar = ...нет, передавать-то можно и без IO
JS
только содержимое не прочитать
JS
мутабельное содержимое не прочитать без IO
VD
Да, логично. В общем попробую наверн вариант с "дать только акссесоры, а внутре делать unsafeFreeze / thaw и стараться не стрельнуть в ногу".
VD
Ну либо вообще эту мутабельную штуку из рекорда выпну и пусть будет по феншую чистая часть отдельно, IO отдельно.
JS
thaw тут вроде не нужен
JS
а unsafeFreeze сломается при параллелизации
VD
Я имею в виду убрать st \ io из рекорда и юзать unsafethaw\freeze для модификации in place.
JS
а вообще для данных, которые то мутируют, то чистые, — есть язык Раст, в котором эта проблема решена
VD
а unsafeFreeze сломается при параллелизации
Вот тут пока пофиг, оно однопоточное по задумке
JS
Я имею в виду убрать st \ io из рекорда и юзать unsafethaw\freeze для модификации in place.
тогда сломается вообще всё
VD
а вообще для данных, которые то мутируют, то чистые, — есть язык Раст, в котором эта проблема решена
Частью задачи является реализация на хаскеле :)
VD
Петпрожектное ковыряние ради фана же.
MK
Я имею в виду убрать st \ io из рекорда и юзать unsafethaw\freeze для модификации in place.
о нет, это ерунда какая-то, не надо так делать
VD
о нет, это ерунда какая-то, не надо так делать
Где-то в internal модулях у кого-то видел, вроде брат был жив 🤔
JS
Частью задачи является реализация на хаскеле :)
тогда я бы взял вместо массива/вектора нормальную чисто функциональную структуру с доступом по индексу за O(1)
VD
тогда я бы взял вместо массива/вектора нормальную чисто функциональную структуру с доступом по индексу за O(1)
А какая у нас чисто функциональная структура с random read / write за О(1)?