VD
почему не Vector?
Ну можно в принципе и вектор, но мне показалось избыточно, т.к. размер массива не будет меняться.
Size: a a a
2021 March 04
VD
А ST вектор будет с такой же фигней в итоге
G
что отличается?
Решение через type family https://t.me/haskellru/328692
JS
Есть тип вида
В main'е создаю его значение через stToIO. Потом это значение хочу передать в другую функцию, которая возвращает
Это норма или я как-то неправильно живу?
data Foo s = Foo { arr :: STUA.Array s Word16 }.В main'е создаю его значение через stToIO. Потом это значение хочу передать в другую функцию, которая возвращает
IO ()
Получается anotherFunction :: Foo RealWorld -> IO ().Это норма или я как-то неправильно живу?
MVector тоже не меняет размер
к
Решение через type family https://t.me/haskellru/328692
тем что там список обычный, длина которого неизвестна
JS
Есть тип вида
В main'е создаю его значение через stToIO. Потом это значение хочу передать в другую функцию, которая возвращает
Это норма или я как-то неправильно живу?
data Foo s = Foo { arr :: STUA.Array s Word16 }.В main'е создаю его значение через stToIO. Потом это значение хочу передать в другую функцию, которая возвращает
IO ()
Получается anotherFunction :: Foo RealWorld -> IO ().Это норма или я как-то неправильно живу?
явный RealWorld не норма. сделайте эту функцию полиморфной по s
MK
можно
PrimMonad s m => Foo s -> m ()MK
или взять вместо RealWorld тайп фемели которая по монаде даёт её стейт токен, вроде такая была
JS
Есть тип вида
В main'е создаю его значение через stToIO. Потом это значение хочу передать в другую функцию, которая возвращает
Это норма или я как-то неправильно живу?
data Foo s = Foo { arr :: STUA.Array s Word16 }.В main'е создаю его значение через stToIO. Потом это значение хочу передать в другую функцию, которая возвращает
IO ()
Получается anotherFunction :: Foo RealWorld -> IO ().Это норма или я как-то неправильно живу?
STUA — это откуда?
MK
STUArray похоже
VD
Ага, он.
VD
Непрвильно минимальный репро записал :)
VD
Так, с полиморфным s не работает: говорит forall s и RealWorld это разные штуки. А PrimMonad походу даже не в base >_>
MK
Так, с полиморфным s не работает: говорит forall s и RealWorld это разные штуки. А PrimMonad походу даже не в base >_>
это пакет primitive
MK
нормальный пакет
VD
Уже нахуглил, да.
VD
Чот идея совать ST в data мне кажется всё более и более неправильной, раз такое лезет.
VD
С другой стороны если не совать, то пересоздание жирненнького массива.
VD
Или unsafeThaw / unsafeFreeze везде