Пост, главным образом из-за бумажки: Polarized Data Parallel Data Flow benl.ouroborus.net Также, рекомендую обратить внимание на ссылки [1] и [2] оной, это ещё одна стрим-библиотечка в iteratee-стиле, но с блекжеком и шлюхами (линейной логикой Жирара).
github.com hackage.haskell.org
Очередной комбинаторный парсер для лексического анализа. Токены определяются в виде простых свёрток.
Относительно новый (первый коммит 2016-08-08), поэтому фич у него немного Если чо, эти же ребята пишут repa.
Эх, эту бы тулзу мне бы да год назад... Теперь уже без надобности.
Очередной комбинаторный парсер для лексического анализа. Токены определяются в виде простых свёрток.
Относительно новый (первый коммит 2016-08-08), поэтому фич у него немного Если чо, эти же ребята пишут repa.
Эх, эту бы тулзу мне бы да год назад... Теперь уже без надобности.
— Молодой человек, не выпендривайтесь! Вот вам скрученные функторы[1] и пиздуйте отсюда!
[1] cse.iitk.ac.in
github.com Статейка Ямамото на тему IO в Х-е. Интересно.
И да, это тетст на плюсы-фу, если чо.
Под ELF никаких проблем: создаётся секция .comment в объектнике, которая: а) не гузится в память; б) с флагом MERGE (дубли схлопываются при линковке). Т.е. в результате в исходном бинарнике получается секция с «подписями» всех компиляторов, когда-либо участвовавших в его создании. Удобно.
Для PE/COFF... Ну, вы поняли... В объектнике создаётся секция .rdata$zzz, которая мало того с флагами ALLOC и LOAD, так ещё дефолтный линк-скрипт аппендит её к .rdata бинарника. В результате, мусор в конце секции .rdata.
И если в 7.10.2 он занимал небольшое количество относительно размера бинарника, то в 7.10.3 со сменой тулчейна ситуация значительно ухудшилась.
Решение:
1. Подвергнуть живительному экстерминатусу секцию .rdata$zzz во всех объекниках и статических библиотеках strip --strip-unneeded --keep-file-symbols -R .rdata$zzz сделает своё дело. Увы, strip обламывается на HsBase из-за громадного размера, поэтому придётся вручную упаковывать/распаковывать.
2. Добавить строчку в линк-скрипт (перед .rdata) DISCARD : {*(rdata$zzz)}
Увы, хрен его знает как это сделать в GHC.
Гугл молчит, так что прошу распространить.
А вообще, эта «фича», мне кажется, может смело номинироваться на премию «Просос года». Даже боязно смотреть как обстоят дела с «официальными» сборками опенсорса под венду.
aosabook.org Архигодное описание архитектуры Варпа.
Э-э-э, он правда так укладывает nginx?
Я хренею, дорогая редакция! Э-э-э, он правда так укладывает nginx?
(Хаскель тут при том что достали глюки ansi-terminal под вендой)
homepages.inf.ed.ac.uk
@qnikst а слабо замутить работу с R по таким же принципам? Это же будет бомба!
Вадлер аццки отжыгает. Врочем, как обычно. @qnikst а слабо замутить работу с R по таким же принципам? Это же будет бомба!
Хватился, а на Х-е даже парсера PL/SQL нету. Мож у кого-то возникала потребность? Мож у кого-то есть наработки (хоть какие-то!!!), похрен на кривость и законченность. Ну не с нуля же писать! Со своей сороны обещаю полный гихаб/опенсорс/паблик домейн...
И да, подкиньте плз книжек/бумажек уровня «Статический анализ (похрен чего) для чайников». Можно и не для чайников. На вырост, лол! А то теоретическую часть вопроса представляю себе слабовато...