20 августа 2026
Leonid 🦇 OnokhovНаписал бы рекордов для пакетов и пару парсеров руками, а дальше пусть ллмка херачит по подобию. Они такое умеют! Впрочем я бы сам писал руками, как варвар
Сложно именно логику транспонирования продумать на уровне байтиков. Я пытался списки на вектора менять, но там наивная замена только хуже делала, а что-то умнее я не полез пока писать. Все равно лучше сначала апишку с фичами допиливать, а оптимизации можно отдельно потом шиппить и оно в целом и так нормально будет работать для большинства вэба (skill issue)
Ссылка
нажмите — покажем
нажмите — покажем
например
https://dl.acm.org/doi/10.1145/3798254 He, Jia, Bao, Rompf, [2026] "When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking"
Dima | No AI clubтекст ещё не в индексе
интересно было бы посмотреть куда время уходит. недавно видел вот какое обсуждение о llvm
Ссылка
нажмите — покажем
нажмите — покажем
https://discourse.llvm.org/t/rfc-use-pre-compiled-headers-to-speed-up-llvm-build-by-1-5-2x/89345
Работа фронтенда занимает 9/11 всего времени компиляции
IC RainbowНу вон линеар билдеры вроде себе для перфа.
Ну буфер на линейных типах наверное мутабельный и может себе позволить не копировать ради безопасности. Скорость то появляется не потому что линтипы, а потому что дизайн паттерн на линтипах проще организовать без ошибок
Dima | No AI clubНу буфер на линейных типах наверное мутабельный и может себе позволить не копировать ради безопасности. Скорость то появляется не потому что линтипы, а потому что дизайн паттерн на линтипах проще организовать без ошибок
в ридми буквально написано
Such structure can be implemented without linear types, but that would greatly affect user experience by polluting everything with ST monad. Users are encouraged to use Buffer API, and built-in benchmarks refer to it.
Aleksandr VershilovКстати забавно, что тут обсуждались разные регионы. Дима, про регионы в памяти, по которым бы байтики красиво раскладывались, чтобы процессору удобно было. Другие про reachability и GC
абстракт красивый, надеюсь я смогу заставить себя почитать эту работу
Aleksandr VershilovСейчас кстати линейные типы ничего не делают для оптимизации, только для удобства работы, и кажется особо никто не планирует это делать
Ну можно вот нормально с мутабельными буферами работать не боясь себе ноги отстрелить и меньше на ГЦ полагаться
Aleksandr VershilovКстати забавно, что тут обсуждались разные регионы. Дима, про регионы в памяти, по которым бы байтики красиво раскладывались, чтобы процессору удобно было. Другие про reachability и GC
но reachability, кстати, выглядит именно как то что хотелось бы
Aleksandr VershilovРичабилити это про GC удобство и безопасность, а не про байтики раскладывать кажется, я не прав?
ну я про упомянутую выше работу в которой предлагают вариант их совмещения с регионами
Ссылка
нажмите — покажем
нажмите — покажем
байтики раскладывать на типах это oxcaml и штуки типа
https://dl.acm.org/doi/10.1145/3607858 Baudon, Radanne, Gonnord, [2023] "Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types"