VD
Достаточно частая, в смысле. У меня чот ручки к вечеру фигню печатают.
Size: a a a
2021 March 04
VD
а вы хотите это делать только в ST, или только IO, или в обеих?
Сам по себе этот массив можно и в st гонять, но вокруг IO один фиг 🤔
VD
Я опять пишу очередную виртуальную машину, а это массив под оперативку. Всё пытаюсь по феншуйски научиться это всё делать.
JS
а, ну да, если между ST-блоками хочется передавать, то это IO
JS
короче, возьмите IOUArray
JS
или Unboxed.IOVector
VD
Я прост всё пытаюсь как-нибудь и рыбку съесть и на ёлку залезть. Чтоб тип был "чистым", а вот модификация его пусть будет "грязной", но зато шустрой.
JS
Я прост всё пытаюсь как-нибудь и рыбку съесть и на ёлку залезть. Чтоб тип был "чистым", а вот модификация его пусть будет "грязной", но зато шустрой.
IOVector
JS
что в нём нечистого?
VD
type IOVector = MVector RealWorld Нужно будет где-то брать RealWord, т.е. создавать значение этого типа можно будет только в IO, так?
JS
вы хотите мутировать данные в IO, значит, этот чистый тип должен быть совсемстим с IO
VD
А т.к. этот IOVector вложен в рекорд, то и сам рекорд тоже грязным становится.
VD
Разве что вытащить это из рекорда как-нибудь 🤔
JS
type IOVector = MVector RealWorld Нужно будет где-то брать RealWord, т.е. создавать значение этого типа можно будет только в IO, так?
> Нужно будет где-то брать RealWord, т.е.
нет
> создавать значение этого типа можно будет только в IO, так?
да
нет
> создавать значение этого типа можно будет только в IO, так?
да
JS
А т.к. этот IOVector вложен в рекорд, то и сам рекорд тоже грязным становится.
нет
JS
тип не может быть грязным
JS
или вы хотите такой как бы plain old value тип?
JS
чтобы ещё моноидом его сделать?
JS
нет, мутабельные данные даже в ST моноидом не будут
VD
Не, без моноида обойдусь. Мне в принципе нужно только от него уметь шустро по рандомным индексам читать\писать.