А⚙
если на машине 4 гига, как вы будете обрабатыывать 10 гиговый файл полностью?
mmap и вперёд
Size: a a a
2020 January 13
r
Смотря какая битность OS. На 64-bit можно и mmap сделать
DF
У ммапа есть свои ограничения
DF
Если это данные то существуют потоковые обработчики
DF
Ммап конечно в этом случае тоже подходит
А⚙
если на машине 4 гига, как вы будете обрабатыывать 10 гиговый файл полностью?
Но вообще это от задачи зависит
DF
Это же все вопрос удобства
DF
Можно и Рид Райтом считывать по частям
DF
Т.е. это не вопрос принципиальной возможности
G
А что значит "Familiar with type theory"? Я не читал никаких книжек про теорию типов, а фамилиар с type theory или нет?
DF
Я читал но не шибко шарю
G
Dollar Føølish
Я читал но не шибко шарю
Какую читал?
DF
Там вроде работы Мартин лофа основные
DF
Какую читал?
Статьи , туториалы
AZ
red75prime
Смотря какая битность OS. На 64-bit можно и mmap сделать
не факт. Смотря какой формат
ch
че то походу пояснение этой шукти будет поинтерсней чем половина статей на хабре
G
А
|.| - это что?AZ
композиция типов