VD
К вопросу: а зачем линтипы в хаскеле.
Size: a a a
2021 March 04
MK
Чот идея совать ST в data мне кажется всё более и более неправильной, раз такое лезет.
так ты можешь туда полиморфный prim vector сувать))
MK
так ты можешь туда полиморфный prim vector сувать))
но не надо так делать
VD
так ты можешь туда полиморфный prim vector сувать))
расшфируйте, пожалуйста
VD
Ага, ок :D
MK
ну ты можешь в свою дату положить
forall s. MVector s IntMK
но кажется это сильно ударит по оптимизатору
MK
и будет неудобно в куче мест
VD
Вообще unsafeThaw / unsafeFreeze unsafe будут только если я попытаюсь сделать заюзать прошлое значение массива после его модификации?
MK
типа того, вроде
MK
надо чтобы ссылка на массив до thaw никуда не утекла
MK
ну и чтобы после фриза не оставалось ссылки на мутабельную часть
MK
так что с этими штуками надо хорошо понимать что ты делаешь
VD
Ага. Наверное проще будет не отдавать свой Foo внаружу, а сделать функции для доступа и в них соблюдать это всё. Чем с ст корячиться
VD
Хаскелл в некоторых местах все-таки очень странноватый.
VD
Вот чому из файл хендла нельзя просто байтики почитать? Просто чары можно, а для просто байтиков нужно почему-то malloc'ать указатели и пользоваться FFI модулем. Или сторонним пакетом. Очень непонятно зачем так.
MK
читай байтстринги
MK
пакетом bytestring
MK
при необходимости из байтстринга можно Ptr Char8 получить
VD
Та я знаю. Я про чисто-base.