можно ли как-то в bytestring установить позицию, с которой надо читать значения? (аналог fseek)

drop?

Он бесплатно делает новый BS который смотрит на кусок старой памяти

можно поискать Conal Elliott этим занимался, ещё есть такая сттаья на эту тему: https://research.chalmers.se/publication/505007/file/505007_Fulltext.pdf

Спасибо, чекну.

но Конал пишет, что занимался, но коркрентых либ не публиковал(( похоже это приватный код

но это же не связанные вещи. bytestring ниоткуда не читает.

может быть, у вас ленивый IO, читающий из файла?

в этой теме от него была интересная статья Compiling to categories но там тоже скорее описание концепта, если прямо сейчас хочется с этим что-то сделать, то это не будет практического интереса иметь

bytestring - это упрощённо набор байт. есть же ещё lazy bytestring. и я так написал, потому что не знаю, как они работают.

я подумал, что с помощью lazy bytestring можно абстрагироваться от файловой системы (хотя зачем? может, при передаче данных по сети можно более эффективно обрабатывать эти данные, однако ведь данные всё равно будут передаваться последовательно (т.е. не получится сделать fseek)) проблема в том, что файл может быть большим, но его не надо весь грузить в память, а только по мере надобности

(честно, у меня плохое представление по этом всем вещам, поэтому могу писать какую-то фигню)

Lazy.ByteString — это очень простой и местами вредный способ абстрагироваться от входящего потока байт. про файловую систему он ничего не знает.

но вы можете открыть файл, сделать fseek по нему, а потом с нужного места читать, через Lazy I/O или другим способом

может, лучше получить представление о лени, а потом прикладывать её к файлам?

да. получается, я хочу применить то, чего не понимаю. итог будет очевиден

а можно пример вредности?

когда файл на носителе меняется в процессе чтения

1. System.IO.withBinaryFile "file" ReadMode
2. System.IO.hSeek
3. Data.ByteString.Lazy.hGet, hGetContents

а на маленьких файлах может быть такое, что лучше будет загружать весь файл полностью? тогда придётся иметь две реализации (правда, придётся получать срез, что довольно неэффективно)

а в чём проблема? маленькие файлы тоже можно читать по частям

можно, да, но может лучше из маленького файла читать данные сразу?

я сейчас так посидел и подумал

и действительно писать type-app с пробелом имеет смысл